Skip to content

ci(github-action): update ghcr.io/bjw-s/mdbook:0.4.35 docker digest t… #146

ci(github-action): update ghcr.io/bjw-s/mdbook:0.4.35 docker digest t…

ci(github-action): update ghcr.io/bjw-s/mdbook:0.4.35 docker digest t… #146

Workflow file for this run

---
name: "Docs: Release to GitHub pages"
on:
workflow_dispatch:
push:
branches:
- main
paths:
- ".github/workflows/docs-publish.yaml"
- "docs/**"
jobs:
release-docs:
name: Release documentation
runs-on: ubuntu-22.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- name: Get GitHub API token
id: get-app-token
uses: getsentry/action-github-app-token@v2
with:
app_id: ${{ secrets.BJWS_APP_ID }}
private_key: ${{ secrets.BJWS_APP_PRIVATE_KEY }}
- name: Checkout main branch
uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608 # v4
with:
token: ${{ steps.get-app-token.outputs.token }}
fetch-depth: 0
- name: Build docs
uses: docker://ghcr.io/bjw-s/mdbook:0.4.35@sha256:bab30f13825b1f4c2efc5a5e40209ae5db0d94fd38eaed5915f2a750ce431564
with:
args: bash -c "cd docs && mdbook build"
- name: Deploy
uses: peaceiris/[email protected]
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ steps.get-app-token.outputs.token }}
publish_dir: ./docs/book/html
user_name: 'bjw-s-bot[bot]'
user_email: 'bjw-s-bot <87358111+bjw-s-bot[bot]@users.noreply.github.com>'