Skip to content

Bump toolchain image in dockerfile to fix release (#91) #9

Bump toolchain image in dockerfile to fix release (#91)

Bump toolchain image in dockerfile to fix release (#91) #9

Workflow file for this run

---
name: Publish documentation
on:
workflow_dispatch: {}
push:
tags:
- 'v*'
paths:
- mkdocs.yml
- 'docs/**'
permissions:
contents: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Python
uses: actions/setup-python@v4
with:
python-version: 3.x
- name: Generate cache ID
run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- name: Generate cache
uses: actions/cache@v3
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- name: Install mkdocs, theme, and plugins
run: pip install mkdocs-material mkdocs-awesome-pages-plugin
- name: Deploy site
run: mkdocs gh-deploy --force