2022-08-11 01:57:55 +02: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 19:28:44 +01:00
|
|
|
PYTHON_VERSION: 3.8
|
2022-08-11 01:57:55 +02: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-19 05:03:16 +01:00
|
|
|
uses: actions/configure-pages@v3
|
2022-08-11 01:57:55 +02:00
|
|
|
|
|
|
|
- name: Python setup
|
|
|
|
uses: actions/setup-python@v4
|
|
|
|
with:
|
2023-02-26 19:28:44 +01:00
|
|
|
python-version: '3.8'
|
2022-08-11 01:57:55 +02:00
|
|
|
|
|
|
|
- name: Cache files
|
2023-03-14 05:59:12 +01:00
|
|
|
uses: actions/cache@v3.3.1
|
2022-08-11 01:57:55 +02:00
|
|
|
with:
|
|
|
|
key: ${{ github.ref }}
|
|
|
|
path: .cache
|
|
|
|
|
|
|
|
- name: Install Python dependencies
|
|
|
|
run: |
|
2022-09-06 17:23:20 +02:00
|
|
|
pip install pipenv
|
2022-08-11 01:57:55 +02:00
|
|
|
pipenv install
|
|
|
|
|
|
|
|
- name: Build website
|
|
|
|
env:
|
|
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
2022-08-25 03:18:26 +02:00
|
|
|
CARDS: true
|
2022-08-11 01:57:55 +02:00
|
|
|
run: |
|
2023-03-01 14:56:07 +01:00
|
|
|
pipenv run mkdocs build --config-file config/mkdocs.en.yml
|
|
|
|
pipenv run mkdocs build --config-file config/mkdocs.fr.yml
|
|
|
|
pipenv run mkdocs build --config-file config/mkdocs.he.yml
|
|
|
|
pipenv run mkdocs build --config-file config/mkdocs.nl.yml
|
2022-08-11 01:57:55 +02: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
|