feat: rust dist builder workflow

seahorn · Dec 5, 2024 · 188a16d · 188a16d
1 parent 01691ab
commit 188a16d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
@@ -33,11 +33,11 @@ jobs:
       - name: Download seaurchin-llvm
         uses: dawidd6/action-download-artifact@v7
         with: 
-          #name: seaurchin-llvm-build
           repo: seahorn/seaurchin-llvm
           workflow: build-seaurchin-llvm-assert-bin.yml
           branch: dev-18
           github_token: ${{secrets.GITHUB_TOKEN}}
+          path: seaurchin-llvm
 
       - name: Display structure of downloaded seaurchin-llvm artefact
         run: ls -laH