2020-12-23 06:56:46 +01:00
|
|
|
name: NixOS manual checks
|
|
|
|
|
2021-05-27 15:49:11 +02:00
|
|
|
permissions: read-all
|
|
|
|
|
2020-12-23 06:56:46 +01:00
|
|
|
on:
|
2021-05-27 15:49:11 +02:00
|
|
|
pull_request_target:
|
2020-12-23 06:56:46 +01:00
|
|
|
branches-ignore:
|
|
|
|
- 'release-**'
|
|
|
|
paths:
|
|
|
|
- 'nixos/**/*.xml'
|
|
|
|
- 'nixos/**/*.md'
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
tests:
|
|
|
|
runs-on: ubuntu-latest
|
2021-05-25 00:33:32 +02:00
|
|
|
if: github.repository_owner == 'NixOS'
|
2020-12-23 06:56:46 +01:00
|
|
|
steps:
|
2022-03-02 00:23:02 +01:00
|
|
|
- uses: actions/checkout@v3
|
2021-05-27 15:49:11 +02:00
|
|
|
with:
|
|
|
|
# pull_request_target checks out the base branch by default
|
|
|
|
ref: refs/pull/${{ github.event.pull_request.number }}/merge
|
2022-04-08 01:37:40 +02:00
|
|
|
- uses: cachix/install-nix-action@v17
|
2020-12-23 06:56:46 +01:00
|
|
|
- name: Check DocBook files generated from Markdown are consistent
|
|
|
|
run: |
|
|
|
|
nixos/doc/manual/md-to-db.sh
|
2022-07-06 07:32:17 +02:00
|
|
|
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
|
|
|
|
}
|