Download bundle

model-checking · Mar 20, 2024 · e5c5489 · e5c5489
1 parent 79552e1
commit e5c5489
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/check-setup.yml b/.github/workflows/check-setup.yml
@@ -127,6 +127,11 @@ jobs:
       - name: Build Kani
         run: cargo install --locked --path ./kani
 
+      - name: Download bundle
+        uses: actions/download-artifact@v3
+        with:
+          name: ${{ matrix.prev_job.bundle }}
+
       - name: Check download
         run: |
           ls -lh .