From 213e7301ac7f71e38058b5bf074e10525f3dbf5e Mon Sep 17 00:00:00 2001
From: Hanno Becker <beckphan@amazon.co.uk>
Date: Sat, 9 Nov 2024 07:23:23 +0000
Subject: [PATCH] CBMC: Disable generation of coverage information

This commit disables CBMC coverage generation in CI, which is
very time-consuming and not what we are interested in currently.

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>
---
 .github/actions/cbmc/action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/cbmc/action.yml b/.github/actions/cbmc/action.yml
index b1b768564..b76f5138b 100644
--- a/.github/actions/cbmc/action.yml
+++ b/.github/actions/cbmc/action.yml
@@ -48,5 +48,5 @@ runs:
         run: |
           cd cbmc/proofs;
           echo "::group::cbmc_${{ inputs.mlkem_k }}"
-          MLKEM_K=${{ inputs.mlkem_k }} ./run-cbmc-proofs.py --summarize -j8;
+          MLKEM_K=${{ inputs.mlkem_k }} ./run-cbmc-proofs.py --summarize --no-coverage -j8;
           echo "::endgroup::"