From 1e52afa7af357213d90568160570d453f63b4e0f Mon Sep 17 00:00:00 2001 From: x-mass <36629999+x-mass@users.noreply.github.com> Date: Thu, 25 Jul 2024 15:12:13 +0000 Subject: [PATCH] chore: use new zkLLVM workflow to get artifacts for CI from --- .github/workflows/pull_request.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index d59b729..351b2a1 100644 --- 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 @@ -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 }}