Restrict to 1 process at a time for CBMC.

Signed-off-by: Rod Chapman <[email protected]>
pq-code-package · Jun 18, 2024 · 7f41067 · 7f41067
1 parent aad5fac
commit 7f41067
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -114,6 +114,6 @@ jobs:
         shell: nix develop .#ci -c bash -e {0}
         run: |
           cd cbmc/proofs;
-          KYBER_K=2 ./run-cbmc-proofs.py --summarize;
-          KYBER_K=3 ./run-cbmc-proofs.py --summarize;
-          KYBER_K=4 ./run-cbmc-proofs.py --summarize;
+          KYBER_K=2 ./run-cbmc-proofs.py --summarize -j1;
+          KYBER_K=3 ./run-cbmc-proofs.py --summarize -j1;
+          KYBER_K=4 ./run-cbmc-proofs.py --summarize -j1;