Skip to content

Merge pull request #1118 from marquiz/release-0.9 #614

Merge pull request #1118 from marquiz/release-0.9

Merge pull request #1118 from marquiz/release-0.9 #614

Workflow file for this run

name: Publish documentation
on:
push:
branches:
- master
- release-*
# Path filters are ignored for tags
paths:
- "docs/**"
- "Makefile"
tags:
- v*
permissions:
contents: read
concurrency:
group: ${{ github.workflow }}
cancel-in-progress: false
jobs:
update-gh-pages:
uses: "./.github/workflows/common-build-docs.yaml"
permissions:
contents: write
with:
publish: true