From 36ef18662a4c527e6ccb09050d78ea514e13b1f5 Mon Sep 17 00:00:00 2001 From: Rod Chapman Date: Tue, 18 Jun 2024 16:24:33 +0100 Subject: [PATCH] Simplify to only run with KYBER_K=3 Signed-off-by: Rod Chapman --- .github/workflows/ci.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 158206ca4..cfc5b401d 100644 --- 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;