2023-03-21 17:56:27 -04:00
|
|
|
# Copyright (c) 2022-2023 Jonah Aragon <jonah@triplebit.net>
|
|
|
|
|
|
|
|
# Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
# of this software and associated documentation files (the "Software"), to
|
|
|
|
# deal in the Software without restriction, including without limitation the
|
|
|
|
# rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
|
|
|
|
# sell copies of the Software, and to permit persons to whom the Software is
|
|
|
|
# furnished to do so, subject to the following conditions:
|
|
|
|
|
|
|
|
# The above copyright notice and this permission notice shall be included in
|
|
|
|
# all copies or substantial portions of the Software.
|
|
|
|
|
|
|
|
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
|
|
# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
|
|
|
|
# IN THE SOFTWARE.
|
|
|
|
|
2022-08-10 19:57:55 -04:00
|
|
|
name: 🛠️ Deploy to GitHub Pages
|
|
|
|
|
|
|
|
on:
|
|
|
|
workflow_dispatch:
|
|
|
|
release:
|
|
|
|
types: [published]
|
|
|
|
|
|
|
|
# Allow one concurrent deployment
|
|
|
|
concurrency:
|
|
|
|
group: "pages"
|
|
|
|
cancel-in-progress: true
|
|
|
|
|
|
|
|
env:
|
2023-02-26 13:28:44 -05:00
|
|
|
PYTHON_VERSION: 3.8
|
2022-08-10 19:57:55 -04:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
name: Build
|
|
|
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v3
|
|
|
|
with:
|
|
|
|
fetch-depth: '0'
|
|
|
|
ssh-key: ${{ secrets.ACTIONS_SSH_KEY }}
|
|
|
|
submodules: 'true'
|
|
|
|
|
|
|
|
- name: Pages setup
|
2023-01-18 23:03:16 -05:00
|
|
|
uses: actions/configure-pages@v3
|
2022-08-10 19:57:55 -04:00
|
|
|
|
|
|
|
- name: Python setup
|
|
|
|
uses: actions/setup-python@v4
|
|
|
|
with:
|
2023-02-26 13:28:44 -05:00
|
|
|
python-version: '3.8'
|
2022-08-10 19:57:55 -04:00
|
|
|
|
|
|
|
- name: Cache files
|
2023-03-14 00:59:12 -04:00
|
|
|
uses: actions/cache@v3.3.1
|
2022-08-10 19:57:55 -04:00
|
|
|
with:
|
|
|
|
key: ${{ github.ref }}
|
|
|
|
path: .cache
|
|
|
|
|
|
|
|
- name: Install Python dependencies
|
|
|
|
run: |
|
2022-09-06 11:23:20 -04:00
|
|
|
pip install pipenv
|
2022-08-10 19:57:55 -04:00
|
|
|
pipenv install
|
|
|
|
|
|
|
|
- name: Build website
|
|
|
|
env:
|
|
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
2022-08-24 21:18:26 -04:00
|
|
|
CARDS: true
|
2022-08-10 19:57:55 -04:00
|
|
|
run: |
|
2023-03-01 08:56:07 -05:00
|
|
|
pipenv run mkdocs build --config-file config/mkdocs.en.yml
|
2022-08-10 19:57:55 -04:00
|
|
|
pipenv run mkdocs --version
|
|
|
|
|
|
|
|
- name: Package website
|
|
|
|
uses: actions/upload-pages-artifact@v1
|
|
|
|
with:
|
|
|
|
path: site
|
|
|
|
|
|
|
|
deploy:
|
|
|
|
name: Deploy
|
|
|
|
needs: build
|
|
|
|
|
|
|
|
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
|
|
|
|
permissions:
|
|
|
|
pages: write # to deploy to Pages
|
|
|
|
id-token: write # to verify the deployment originates from an appropriate source
|
|
|
|
|
|
|
|
environment:
|
|
|
|
name: github-pages
|
|
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
|
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Deploy to GitHub Pages
|
|
|
|
id: deployment
|
|
|
|
uses: actions/deploy-pages@main
|