Skip to content

Merge pull request #798 from MrMarble/renovate/ghcr.io-bjw-s-mdbook-0.x #130

Merge pull request #798 from MrMarble/renovate/ghcr.io-bjw-s-mdbook-0.x

Merge pull request #798 from MrMarble/renovate/ghcr.io-bjw-s-mdbook-0.x #130

Workflow file for this run

---
name: "Docs: Release to GitHub pages"
on:
workflow_dispatch:
push:
branches:
- main
paths:
- ".github/workflows/deploy-docs.yaml"
- "docs/**"
- "README.md"
jobs:
release-docs:
name: Release documentation
runs-on: ubuntu-22.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- name: Generate Token
uses: tibdex/github-app-token@3beb63f4bd073e61482598c45c71c1019b59b73a # v2
id: generate-token
with:
app_id: ${{ secrets.BOT_APP_ID }}
private_key: ${{ secrets.BOT_APP_PRIVATE_KEY }}
- name: Checkout main branch
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
with:
token: ${{ steps.generate-token.outputs.token }}
fetch-depth: 0
- name: Build docs
uses: docker://ghcr.io/bjw-s/mdbook:0.4.40@sha256:f2bf196f7cc74871c32de2b70f056d70bd422690a8194d9f2eddc24d73b7535a
with:
args: bash -c "cd docs && mdbook build"
- name: Deploy
uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4.0.0
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ steps.generate-token.outputs.token }}
publish_dir: ./docs/book/html
user_name: "pepinillo-bot[bot]"
user_email: "101514388+pepinillo-bot[bot]@users.noreply.github.com"
commit_message: ${{ github.event.head_commit.message }}