diff options
Diffstat (limited to 'nixpkgs/.github/workflows/nixos-manual.yml')
-rw-r--r-- | nixpkgs/.github/workflows/nixos-manual.yml | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/nixpkgs/.github/workflows/nixos-manual.yml b/nixpkgs/.github/workflows/nixos-manual.yml deleted file mode 100644 index 5453513a53a6..000000000000 --- a/nixpkgs/.github/workflows/nixos-manual.yml +++ /dev/null @@ -1,34 +0,0 @@ -name: NixOS manual checks - -permissions: read-all - -on: - pull_request_target: - branches-ignore: - - 'release-**' - paths: - - 'nixos/**/*.xml' - - 'nixos/**/*.md' - -jobs: - tests: - runs-on: ubuntu-latest - if: github.repository_owner == 'NixOS' - steps: - - uses: actions/checkout@v3 - 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@v17 - - name: Check DocBook files generated from Markdown are consistent - run: | - nixos/doc/manual/md-to-db.sh - 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 - } |