Try with tar and verifier

model-checking · Mar 26, 2024 · eeb64c5 · eeb64c5
1 parent efbe192
commit eeb64c5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -230,6 +230,8 @@ jobs:
 
       - name: Install from bundle
         run: |
+          tar zxvf ${{ matrix.prev_job.package }}
+          cargo install --locked --path kani-verifier-${{ matrix.prev_job.crate_version }}
           cargo kani setup --use-local-bundle ./${{ matrix.prev_job.bundle }}
 
       - name: Checkout tests