Mergify: Require coverage test job to pass

Not doing so gives Mergify the freedom to merge a PR even if the `coverage` CI test job fails, as observed in #2023.
GaloisInc · Feb 1, 2024 · 633cebc · 633cebc
1 parent 8400591
commit 633cebc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -804,6 +804,7 @@ jobs:
       - heapster-tests
       - saw-remote-api-tests
       - cabal-test
+      - coverage
       - s2n-tests
       - exercises
     steps: