summary refs log tree commit diff
path: root/.github/workflows
diff options
context:
space:
mode:
authorpennae <github@quasiparticle.net>2023-02-08 11:08:25 +0100
committerpennae <github@quasiparticle.net>2023-02-10 06:40:15 +0100
commitd041641b1abc901191947cd9d7676cd803ccd00b (patch)
treee13a6f2dca1c98b55bd17d6b2c9ac00a99de9364 /.github/workflows
parent652a283e51d57ed294cb07774ebf7b95b1a7e59c (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.yml34
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
-        }