diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f0aa5943f..acd51bcdc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -117,6 +117,6 @@ jobs:
         shell: nix develop .#ci-cbmc -c bash -e {0}
         run: |
           cd cbmc/proofs;
-          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;
+          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;