From 0a83919706663d33392a0c1f9b79aaebcaf9744d Mon Sep 17 00:00:00 2001 From: Joshua Liebow-Feeser Date: Wed, 17 Apr 2024 18:47:36 -0700 Subject: [PATCH] [ci] Roll Kani to 0.50.50 This is intended to fix https://github.com/model-checking/kani/issues/3138#issuecomment-2062831979 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0e647a0582..0ae32ba8fc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -323,7 +323,7 @@ jobs: args: "--package zerocopy --features __internal_use_only_features_that_work_on_stable --output-format=terse --randomize-layout --memory-safety-checks --overflow-checks --undefined-function-checks --unwinding-checks" # This version is automatically rolled by # `roll-pinned-toolchain-versions.yml`. - kani-version: 0.49.0 + kani-version: 0.50.0 check_fmt: runs-on: ubuntu-latest