Skip to content

chore(deps): update actions/checkout digest to 11bd719 (#1887) #11

chore(deps): update actions/checkout digest to 11bd719 (#1887)

chore(deps): update actions/checkout digest to 11bd719 (#1887) #11

Workflow file for this run

---
# yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json
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@11bd71901bbe5b1630ceea73d27597364c9af683 # 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