diff options
Diffstat (limited to '.github/workflows/update-manual.yml')
| -rw-r--r-- | .github/workflows/update-manual.yml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/.github/workflows/update-manual.yml b/.github/workflows/update-manual.yml index 60cb362..8d2af53 100644 --- a/.github/workflows/update-manual.yml +++ b/.github/workflows/update-manual.yml @@ -3,25 +3,23 @@ on: push: branches: - master - paths: - - '**.nix' jobs: update-manual: - runs-on: macos-12 + runs-on: macos-13 steps: - name: Checkout repository - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: # So that we fetch all branches, since we need to checkout the `gh-pages` branch later. fetch-depth: 0 - name: Install Nix - uses: cachix/install-nix-action@v22 + uses: cachix/install-nix-action@v30 - name: Build manual run: | - nix-build ./release.nix -I nixpkgs=channel:nixpkgs-23.05-darwin -I darwin=. -A manualHTML + nix build .#manualHTML - name: Push update to manual run: | |