CI is for free

gares · CohenCyril · commit f595e9af3ab7 · 2021-02-17T18:20:15.000+01:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -27,6 +27,7 @@ jobs:
   opam:
     runs-on: ubuntu-latest
     strategy:
+      fail-fast: false
       matrix:
         coq_version:
           - '8.11'
