GitHub CI: Add 'check-update' and 'check-docs'
'check-update' runs a 'make update' to check that it wasn't forgotten.
'check-docs' runs 'make doc-nits'.  We have that as a separate job to
make it more prominent.
@@ -12,6 +12,30 @@ on: [pull_request, push]
# - make="make -s"
jobs:
+ check_update:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+ - name: config
+ run: ./config --strict-warnings && perl configdata.pm --dump
+ - name: make build_generated
+ run: make -s build_generated
+ - name: make update
+ run: make -s update
+ - name: git diff
+ run: git diff --exit-code
+
+ check_docs:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+ - name: config
+ run: ./config --strict-warnings && perl configdata.pm --dump
+ - name: make build_generated
+ run: make -s build_generated
+ - name: make doc-nits
+ run: make doc-nits
+
basic_gcc:
runs-on: ubuntu-latest
steps:
@@ -22,8 +46,6 @@ jobs:
run: make -s -j4
- name: make test
run: make test HARNESS_JOBS=${HARNESS_JOBS:-4}
- - name: make doc-nits
- run: make doc-nits
basic_clang:
runs-on: ubuntu-latest
