[CI] Don't fail-fast

mit-plv · Oct 29, 2023 · 8c5424c · 8c5424c
1 parent bdffdd0
commit 8c5424c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -12,6 +12,7 @@ jobs:
     runs-on: ubuntu-20.04
 
     strategy:
+      fail-fast: false
       matrix:
         env:
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq"       , PPA: "ppa:jgross-h/coq-master-daily"            , SKIP_DISPLAY_TEST: "1", CC: "gcc", ALLOW_DIFF: ""  }