Skip to content

2025-10-06 01:44

2025-10-06 01:44 #759

Workflow file for this run

name: Publish Github Pages
on:
push:
branches: [master]
# Cancel any in-progress job or run
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
concurrency:
group: gh-${{ github.ref }}
cancel-in-progress: true
jobs:
pages:
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
pages: write
id-token: write
steps:
- run: |
sudo locale-gen en_US.UTF-8
sudo update-locale
- uses: awalsh128/cache-apt-pkgs-action@master
with:
packages: lilypond timidity imagemagick fonts-noto-cjk graphviz plantuml ffmpeg
- uses: actions/checkout@v4
with:
token: ${{ secrets.PAT_BULLET_BLOBS }}
submodules: true
- id: deployment
uses: sphinx-notes/pages@v3
with:
documentation_path: .
requirements_path: ./requirements.txt
cache: true
python_version: 3.12
checkout: false