Skip to content

Commit

Permalink
chore: use new zkLLVM workflow to get artifacts for CI from
Browse files Browse the repository at this point in the history
  • Loading branch information
x-mass committed Jul 25, 2024
1 parent 406dcd4 commit 1e52afa
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/pull_request.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -184,7 +184,7 @@ jobs:
- name: Extract circuits and assignments artifact
working-directory: ${{ steps.strings.outputs.artifact-dir }}
run: |
unzip ${{ env.CAA_ARTIFACT_NAME }}.zip
unzip -o ${{ env.CAA_ARTIFACT_NAME }}.zip
- name: List artifacts
working-directory: ${{ steps.strings.outputs.artifact-dir }}
Expand Down

0 comments on commit 1e52afa

Please sign in to comment.