Simplify to only run with KYBER_K=3

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