feat: install py rust dist builder workflow

seahorn · Dec 6, 2024 · 09e6efb · 09e6efb
1 parent d5878b3
commit 09e6efb
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
@@ -35,7 +35,12 @@ jobs:
           branch: dev-18
           github_token: ${{secrets.GITHUB_TOKEN}}
           path: seaurchin-llvm
-
+
+      - name: Unpack seaurchin-llvm build artifacts only
+        run: |
+          tar --zstd -xf seaurchin-llvm/seaurchin-llvm-assert-build/seaurchin-llvm-assert-build.tar.zst
+          rm seaurchin-llvm/seaurchin-llvm-assert-build/seaurchin-llvm-assert-build.tar.zst
+
       - name: Display structure of downloaded seaurchin-llvm artefact
         run: ls -laHR seaurchin-llvm