Skip to content
This repository has been archived by the owner on Jul 6, 2024. It is now read-only.

ci(github-action): update image ghcr.io/bjw-s/mdbook ( ab8e99a → 5136… #77

ci(github-action): update image ghcr.io/bjw-s/mdbook ( ab8e99a → 5136…

ci(github-action): update image ghcr.io/bjw-s/mdbook ( ab8e99a → 5136… #77

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/docs-publish.yaml
- docs/**
jobs:
release-docs:
name: Release documentation
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- name: Generate Token
uses: actions/create-github-app-token@v1
id: app-token
with:
app-id: ${{ secrets.GREYROCK_APP_ID }}
private-key: ${{ secrets.GREYROCK_APP_PRIVATE_KEY }}
- name: Checkout main branch
uses: actions/checkout@v4
with:
token: ${{ steps.app-token.outputs.token }}
- name: Build docs
uses: docker://ghcr.io/bjw-s/mdbook:0.4.40@sha256:513685ffddfb6417c155c40c9fe714168c8d769ff9307d539b92b96cc9d53c5d
with:
args: bash -c "cd docs && mdbook build"
- name: Deploy
uses: peaceiris/[email protected]
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ steps.app-token.outputs.token }}
publish_dir: ./docs/book/html
user_name: "greyrock-bot[bot]"
user_email: "greyrock-bot <112729691+greyrock-bot[bot]@users.noreply.github.com>"