diff options
author | itchyny <itchyny@cybozu.co.jp> | 2023-07-18 08:17:21 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-18 08:17:21 +0900 |
commit | 9e4c71558aeeccc4c9c3ba4cd21451d9f3e047fc (patch) | |
tree | e7f23b744e9eca5be366d7460674c3db74d56680 /.github | |
parent | 4b3090a9abba3fa5b94a46c5f44944deec17d5d4 (diff) |
Split man.test to make tests pass without oniguruma (#2722)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/manpage.yml | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/.github/workflows/manpage.yml b/.github/workflows/manpage.yml index 6ce2fdcf..41d7a1dd 100644 --- a/.github/workflows/manpage.yml +++ b/.github/workflows/manpage.yml @@ -1,16 +1,18 @@ -name: Building man page and man.test +name: Building man page, man.test, manonig.test on: push: paths: - '.github/workflows/manpage.yml' - 'docs/**' - 'tests/man.test' + - 'tests/manonig.test' - 'jq.1.prebuilt' pull_request: paths: - '.github/workflows/manpage.yml' - 'docs/**' - 'tests/man.test' + - 'tests/manonig.test' - 'jq.1.prebuilt' jobs: @@ -33,14 +35,14 @@ jobs: run: | autoreconf -i ./configure --enable-docs - - name: Build man page and man.test + - name: Build man page, man.test, manonig.test run: | mv jq.1.prebuilt jq.1.old - rm -f tests/man.test - make jq.1.prebuilt tests/man.test - - name: Make sure that jq.1.prebuilt and man.test are up to date + rm -f tests/man.test manonig.test + make jq.1.prebuilt tests/man.test tests/manonig.test + - name: Make sure that jq.1.prebuilt, man.test, manonig.test are up to date run: | - git diff --exit-code tests/man.test + git diff --exit-code tests/man.test tests/manonig.test # skip build date in jq.1.prebuilt test -s jq.1.prebuilt diff -- <(tail -n +3 jq.1.old) <(tail -n +3 jq.1.prebuilt) |