ci/docs: Regenerate docs on master

Run both documentation generators after master updates and commit their outputs only when the generated files change.
2026-08-02 00:00:10 +01:00
parent b44095f1ed
commit c354998e11
1 changed files with 41 additions and 0 deletions
@@ -0,0 +1,41 @@
 name: Update docs
 on:
  push:
    branches: [master]
 jobs:
  update:
    if: "!contains(github.event.head_commit.message, 'docs: update generated tables')"
    runs-on: ubuntu-26.04
    permissions:
      contents: write
    steps:
      - uses: actions/checkout@v6
      - uses: cachix/install-nix-action@v31
        with:
          github_access_token: ${{ secrets.GH_PULL_TOKEN }}
          extra_nix_config: |
            extra-substituters = https://nix-cache.nul.ie
            extra-trusted-public-keys = nix-cache.nul.ie-1:BzH5yMfF4HbzY1C977XzOxoPhEc9Zbu39ftPkUbH+m4=
      - name: Update assignment tables
        run: nix run .#update-docs-assignments
      - name: Update option reference
        run: nix run .#update-docs-options
      - name: Commit and push if changed
        env:
          GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
          REPO_URL: ${{ gitea.repositoryUrl }}
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "github-actions[bot]@users.noreply.github.com"
          git remote set-url origin "${REPO_URL/https:\/\//https:\/\/oauth2:${GITEA_TOKEN}@}"
          git add docs/
          if ! git diff --cached --quiet; then
            git commit -m "docs: update generated tables"
            git push
          fi