diff options
Diffstat (limited to 'nixpkgs/.github/workflows/nixos-manual.yml')
| -rw-r--r-- | nixpkgs/.github/workflows/nixos-manual.yml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/nixpkgs/.github/workflows/nixos-manual.yml b/nixpkgs/.github/workflows/nixos-manual.yml index bd70f228d462..5453513a53a6 100644 --- a/nixpkgs/.github/workflows/nixos-manual.yml +++ b/nixpkgs/.github/workflows/nixos-manual.yml @@ -19,8 +19,16 @@ jobs: with: # pull_request_target checks out the base branch by default ref: refs/pull/${{ github.event.pull_request.number }}/merge - - uses: cachix/install-nix-action@v16 + - uses: cachix/install-nix-action@v17 - name: Check DocBook files generated from Markdown are consistent run: | nixos/doc/manual/md-to-db.sh - git diff --exit-code + git diff --exit-code || { + echo + echo 'Generated manual files are out of date.' + echo 'Please run' + echo + echo ' nixos/doc/manual/md-to-db.sh' + echo + exit 1 + } |