From b9aea1e9e456993f35fd12839509d18707fda8e0 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 18 Apr 2024 04:02:10 -0700
Subject: [PATCH] [CI] Add coq-check-all job (#416)

This allows branch protection (for automerge) that doesn't need to
evolve as tested Coq versions change
---
 .github/workflows/coq.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 8d7a72b20..f3415cf10 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -67,3 +67,13 @@ jobs:
         submodules: recursive
     - name: make
       run: TIMED=1 make
+
+  coq-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' }}