feat: rust dist builder workflow

seahorn · Dec 5, 2024 · b2e4382 · b2e4382
1 parent 90dd204
commit b2e4382
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
@@ -28,10 +28,12 @@ jobs:
           echo "container-name-tag=$container_name:latest" >> $GITHUB_OUTPUT
       
       - name: Download seaurchin-llvm
-        uses: actions/download-artifact@v4
+        uses: dawidd6/action-download-artifact@v7
         with: 
           #name: seaurchin-llvm-build
-          repository: seahorn/seaurchin-llvm
+          repo: seahorn/seaurchin-llvm
+          workflow-name: build-seaurchin-llvm-assert-bin.yml
+          branch: dev-18
           github-token: ${{ secrets.seaurchin-llvm-read }}
 
       - name: Checkout seaurchin