diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
index acf052a980ef9..be88ac55eca01 100644
--- 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