From 91d6b6cd53ccf6826649a5e1b9d9cf6a9cdf474a Mon Sep 17 00:00:00 2001 From: Tatsuya Kawano Date: Tue, 10 Sep 2024 20:09:19 +0800 Subject: [PATCH] CI: Pin Kani version to v0.54.0 to avoid tests to stall --- .github/workflows/Kani.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/Kani.yml b/.github/workflows/Kani.yml index e922ffe..d3e3bec 100644 --- a/.github/workflows/Kani.yml +++ b/.github/workflows/Kani.yml @@ -26,3 +26,6 @@ jobs: free -m - name: Run Kani uses: model-checking/kani-github-action@v1.0 + # Workaround for https://github.com/moka-rs/mini-moka/issues/36 + with: + kani-version: '0.54.0'