From a7e88a2c0afb00cb4e3557f85d53cb7443ef2126 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 10 Aug 2022 21:12:06 +0300
Subject: [PATCH] Fix check-all run

---
 .github/workflows/coq.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 5d464c77c..9829d041a 100644
--- 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' }}