From bb21847ac568a49ebe96aa0ea54edcc2d11482df Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 11 Jul 2024 14:21:36 +0200
Subject: [PATCH] Update main.yml

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 33639ba90..c86f5d7eb 100644
--- 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: