chore: use new zkLLVM workflow to get artifacts for CI from

NilFoundation · Jul 25, 2024 · d4f1263 · d4f1263
1 parent 406dcd4
commit d4f1263
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
@@ -102,12 +102,12 @@ jobs:
             echo "Considering reference ${zkllvm_ref} a branch"
             branch=${zkllvm_ref#refs/heads/}
             # We can already fetch run_id here, but better fit to common approach with extra query by sha
-            sha=$(gh api "repos/${zkllvm_repo}/actions/workflows/build_linux.yml/runs?branch=${branch}&status=completed&per_page=1" \
+            sha=$(gh api "repos/${zkllvm_repo}/actions/workflows/nix_build_linux.yml/runs?branch=${branch}&status=completed&per_page=1" \
               --jq '.workflow_runs[0].head_sha')
           fi
 
           echo "Using head sha: ${sha}"
-          run_id=$(gh api "repos/${zkllvm_repo}/actions/workflows/build_linux.yml/runs?head_sha=${sha}&status=completed&per_page=1" \
+          run_id=$(gh api "repos/${zkllvm_repo}/actions/workflows/nix_build_linux.yml/runs?head_sha=${sha}&status=completed&per_page=1" \
               --jq '.workflow_runs[0].id')
           if [ -z "${run_id}" ]; then
             echo no run ID fetched