Fix check-all run

mit-plv · Aug 10, 2022 · a7e88a2 · a7e88a2
1 parent 6c69287
commit a7e88a2
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -76,5 +76,9 @@ jobs:
   check-all:
     runs-on: ubuntu-latest
     needs: build
+    if: always()
     steps:
-      - run: true
+    - run: echo 'The triggering workflow passed'
+      if: ${{ needs.build.result == 'success' }}
+    - run: echo 'The triggering workflow failed' && false
+      if: ${{ needs.build.result != 'success' }}