Add check-all for ease of automatic checking of CI

mit-plv · Jul 26, 2022 · 50a7857 · 50a7857
1 parent 79e7573
commit 50a7857
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -72,3 +72,9 @@ jobs:
     - name: validate
       run: make TIMED=1 validate COQCHKFLAGS="-o"
       if: matrix.env.SKIP_VALIDATE == '' && github.event_name != 'pull_request'
+
+  check-all:
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - run: true