Skip to content

Merge pull request #568 from jakob-bagterp/feature/update-codeql-to-a… #486

Merge pull request #568 from jakob-bagterp/feature/update-codeql-to-a…

Merge pull request #568 from jakob-bagterp/feature/update-codeql-to-a… #486

Workflow file for this run

name: MkDocs
on:
push:
branches:
- master
permissions:
contents: write
jobs:
deploy-docs:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v5
with:
lfs: true
fetch-depth: 0
- name: Set up Python
uses: actions/setup-python@v6
with:
python-version: "3.14"
- name: Set up cached packages
run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- uses: actions/cache@v4
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- name: Install dependencies
run: |
pip install --upgrade pip
pip install -r ./docs/requirements.txt
pip install .
- name: Build and deploy MkDocs website to GitHub Pages
run: mkdocs gh-deploy --force