diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4eb8f2c06ebd01b3cfdc4c540118e63883de2182..4dba2611ba311aecbc8e86757356351eebb3cd55 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,11 +22,7 @@ simca:
   stage: release
   script:
     - cd tools/simca
-    - make
-    - make cmxs
-    - make log
-    - make pdf
-  allow_failure: true
+    - make && make cmxs && make log && make pdf
   artifacts:
     paths:
       - tools/simca
diff --git a/tools/simca/nonreg_test_campaign.ml b/tools/simca/nonreg_test_campaign.ml
index 7d030796931971e39d553adc7454c4c5dee1508d..a841859452d63ea83b486593da6d4ee994672517 100644
--- a/tools/simca/nonreg_test_campaign.ml
+++ b/tools/simca/nonreg_test_campaign.ml
@@ -17,7 +17,7 @@ let rings = List.init 5 (fun n -> Ring (100*(n+1))) (* [100; 200; ...; 500] *)
 let er = List.init 5 (fun n -> ER (20*(n+1), 0.4)) (* [20; 40; ...; 100] *)
 let networks = (cliques@rings@er)
 
-let gen_make_rules () = gen_makefile "Makefile.expe-rules" daemons algos networks
+let gen_make_rules () = gen_makefile "Makefile.expe-rules" daemons algos networks;;
 
 #use "parseLog.ml";;
 let gen_pdf () =