From 96b1e463e28f4630f1210c6263842ba4c266d3cd Mon Sep 17 00:00:00 2001 From: Alexander Date: Mon, 7 Oct 2024 21:25:14 +0000 Subject: [PATCH] Forgot kani flags... --- .github/workflows/kani-workflow.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml index 768114a9..d3aced3c 100644 --- a/.github/workflows/kani-workflow.yml +++ b/.github/workflows/kani-workflow.yml @@ -30,5 +30,4 @@ jobs: - name: Bootstrap Toolchain run: cargo bootstrap - name: Run Kani - uses: model-checking/kani-github-action@v1.1 - # x86_64 is the default, builds in debug mode + uses: model-checking/kani-github-action@v1.1 --workspace --exclude monitor -Z stubbing