From f162e13afb35271da50382bed751bade9a05a5c0 Mon Sep 17 00:00:00 2001 From: "Tobin C. Harding" Date: Tue, 23 Apr 2024 17:48:22 +1000 Subject: [PATCH] CI: Run kani daily job with latest version Version `0.49` of `kani` broke our daily CI job, there is now a new release out that fixes the issue. Remove the explicit `kani` version so we pull the latest version. --- .github/workflows/rust.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index e3000372..8837d8fc 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -236,5 +236,4 @@ jobs: - name: 'Kani build proofs' uses: model-checking/kani-github-action@v1.1 with: - kani-version: '0.48.0' args: '--only-codegen'