Update main.yml

LPCIC · Jul 11, 2024 · bb21847 · bb21847
1 parent b0c2bc6
commit bb21847
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -29,7 +29,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     strategy:
-      #fail-fast: false
+      fail-fast: false
       matrix:
         coq_version: [ '8.19.2' , '8.20+rc1' , 'dev' ]
         ocaml_version: