ci: ML-KEM: no parallelism

EasyCrypt · May 26, 2024 · de7684d · de7684d
1 parent 54bc881
commit de7684d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/external.json b/.github/workflows/external.json
@@ -27,7 +27,7 @@
   , "subdir"     : "."
   , "config"     : "config/tests.config"
   , "scenario"   : "mlkem"
-  , "options"    : "-pragmas Proofs:weak"
+  , "options"    : "-pragmas Proofs:weak -jobs 1"
   }
 
   ,