From 7c3202381df644f63292bf2de341afbaca1bd19b 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 acd51bcdc..0c0a75e41 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -117,6 +117,4 @@ jobs: shell: nix develop .#ci-cbmc -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;