feat: install py rust dist builder workflow

seahorn · Dec 6, 2024 · 59a0918 · 59a0918
1 parent 103a2e8
commit 59a0918
Showing 1 changed file with 4 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,10 @@ jobs:
           branch: dev-18
           github_token: ${{secrets.GITHUB_TOKEN}}
           path: seaurchin-llvm
-
+
+      - name: Display structure of downloaded seaurchin-llvm artefact
+        run: ls -laHR seaurchin-llvm      
+
       - name: Unpack seaurchin-llvm build artifacts only
         run: |
           tar --zstd -C seaurchin-llvm/seaurchin-llvm-assert-build/ -xf seaurchin-llvm-assert-build.tar.zst