Test LocalBundle without re-installing

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