Skip to content

Commit

Permalink
Merge pull request #16 from crichez/repo/publish-docs-to-pages
Browse files Browse the repository at this point in the history
Add workflow to publish docs to pages.
  • Loading branch information
crichez authored Aug 7, 2024
2 parents 14f796d + 7bd53cd commit 5339c38
Showing 1 changed file with 35 additions and 0 deletions.
35 changes: 35 additions & 0 deletions .github/workflows/publish-docs.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
name: publish-docs
on:
push:
tags:
- v*

pull_request:
branches:
- main
- release/v*

jobs:
build-docs:
permissions:
contents: read
name: Build Docs
uses: ansible-community/github-docs-build/.github/workflows/_shared-docs-build-push.yml@main
with:
init-lenient: false
init-fail-on-error: true

publish-docs:
if: github.repository == 'crichez/crichez.secureboot'
name: Publish Docs
permissions:
contents: write
pages: write
id-token: write
needs:
- build-docs
uses: ansible-community/github-docs-build/.github/workflows/_shared-docs-build-publish-gh-pages.yml@main
with:
artifact-name: ${{ needs.build-docs.outputs.artifact-name }}
secrets:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}

0 comments on commit 5339c38

Please sign in to comment.