Add check-all jobs for windows, mac, docker, uniformize naming

.github/workflows/docker-coq.yml → .github/workflows/coq-docker.yml

@@ -10,7 +10,7 @@ on:
     - cron: '0 0 1 * *'
 
 jobs:
-  docker-build:
+  build:
     strategy:
       fail-fast: false
       matrix:
@@ -131,3 +131,17 @@ jobs:
       run: etc/ci/github-actions-make.sh -f Makefile.examples -j2 only-test-amd64-files SLOWEST_FIRST=1
       env:
         ALLOW_DIFF: 1
+
+  docker-check-all:
+    runs-on: ubuntu-latest
+    needs: [build, test-amd64]
+    if: always()
+    steps:
+    - run: echo 'build passed'
+      if: ${{ needs.build.result == 'success' }}
+    - run: echo 'test-amd64 passed'
+      if: ${{ needs.test-amd64.result == 'success' }}
+    - run: echo 'build failed' && false
+      if: ${{ needs.build.result != 'success' }}
+    - run: echo 'test-amd64 failed' && false
+      if: ${{ needs.test-amd64.result != 'success' }}

.github/workflows/coq-macos.yml

@@ -10,7 +10,7 @@ on:
     - cron: '0 0 1 * *'
 
 jobs:
-  build-macos:
+  build:
 
     runs-on: macOS-11
 
@@ -96,3 +96,13 @@ jobs:
 #        eval $(opam env)
 #        make TIMED=1 validate COQCHKFLAGS="-o ${COQCHKEXTRAFLAGS}"
 #      if: github.event_name != 'pull_request'
+
+  macos-check-all:
+    runs-on: ubuntu-latest
+    needs: [build]
+    if: always()
+    steps:
+    - run: echo 'build passed'
+      if: ${{ needs.build.result == 'success' }}
+    - run: echo 'build failed' && false
+      if: ${{ needs.build.result != 'success' }}

.github/workflows/coq-windows.yml

@@ -13,7 +13,7 @@ on:
     - cron: '0 0 1 * *'
 
 jobs:
-  build-windows:
+  build:
 
     runs-on: windows-latest
 
@@ -117,3 +117,13 @@ jobs:
 #        %CYGWIN_ROOT%\bin\bash.exe -l -c 'cd "%cd%"; opam exec -- make TIMED=1 validate COQCHKFLAGS="-o ${COQCHKEXTRAFLAGS}"'
 #      shell: cmd
 #      if: github.event_name != 'pull_request'
+
+  windows-check-all:
+    runs-on: ubuntu-latest
+    needs: [build]
+    if: always()
+    steps:
+    - run: echo 'build passed'
+      if: ${{ needs.build.result == 'success' }}
+    - run: echo 'build failed' && false
+      if: ${{ needs.build.result != 'success' }}