Skip to content

chore(deps): update actions/checkout digest to 0ad4b8f #8

chore(deps): update actions/checkout digest to 0ad4b8f

chore(deps): update actions/checkout digest to 0ad4b8f #8

Workflow file for this run

name: "Docs: Release to GitHub pages"
on:
workflow_dispatch: {}
push:
branches:
- main
paths:
- ".github/workflows/publish-docs.yaml"
- '.github/mkdocs/**'
- 'docs/**'
jobs:
release-docs:
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- name: Checkout branch
uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4
- name: Deploy docs
uses: mhausenblas/mkdocs-deploy-gh-pages@master
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
CONFIG_FILE: .github/mkdocs/mkdocs.yml
EXTRA_PACKAGES: build-base
REQUIREMENTS: .github/mkdocs/requirements.txt