ci: ML-KEM: no parallelism

strub · strub · commit de7684dc2400 · 2024-05-26T15:43:57.000+02:00
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"
   }
 
   ,

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@`
`27`	`27`	`, "subdir" : "."`
`28`	`28`	`, "config" : "config/tests.config"`
`29`	`29`	`, "scenario" : "mlkem"`
`30`		`- , "options" : "-pragmas Proofs:weak"`
	`30`	`+ , "options" : "-pragmas Proofs:weak -jobs 1"`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`,`