diff options
author | pennae <github@quasiparticle.net> | 2023-02-08 11:08:25 +0100 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-02-10 06:40:15 +0100 |
commit | d041641b1abc901191947cd9d7676cd803ccd00b (patch) | |
tree | e13a6f2dca1c98b55bd17d6b2c9ac00a99de9364 /.github/workflows | |
parent | 652a283e51d57ed294cb07774ebf7b95b1a7e59c (diff) |
nixos/manual: remove md-to-db
with manual chapters no longer needing pandoc for their conversion to xml we can get rid of this source of confusion, and its huge cache of xml files.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/nixos-manual.yml | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/.github/workflows/nixos-manual.yml b/.github/workflows/nixos-manual.yml deleted file mode 100644 index b7f8c495a03f4..0000000000000 --- a/.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@v18 - - 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 - } |