chore: add repo name

openvm-org · Dec 24, 2024 · 772c0ca · 772c0ca
1 parent 12a4d7b
commit 772c0ca
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/benchmark-call.yml b/.github/workflows/benchmark-call.yml
@@ -131,7 +131,8 @@ jobs:
 
       - uses: actions/checkout@v4
         with:
-          ref: ${{ github.head_ref || github.ref }}
+          ref: ${{ github.event.pull_request.head.sha || github.sha }}
+          repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }}
 
       - uses: dtolnay/rust-toolchain@nightly
       - uses: Swatinem/rust-cache@v2

diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
@@ -23,6 +23,7 @@ env:
   CARGO_TERM_COLOR: always
   OPENVM_FAST_TEST: "1"
   CURRENT_SHA: ${{ github.event.pull_request.head.sha || github.sha }}
+  REPO: ${{ github.event.pull_request.head.repo.full_name || github.repository }}
   CARGO_NET_GIT_FETCH_WITH_CLI: "true"
 
 permissions:
@@ -39,7 +40,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
-          ref: ${{ github.head_ref || github.ref }}
+          ref: ${{ CURRENT_SHA }}
+          repository: ${{ REPO }}
 
       - name: Create benchmark matrix from JSON
         id: create-matrix
@@ -133,7 +135,8 @@ jobs:
       ##########################################################################
       - uses: actions/checkout@v4
         with:
-          ref: ${{ github.head_ref || github.ref }}
+          ref: ${{ CURRENT_SHA }}
+          repository: ${{ REPO }}
 
       - name: Set github pages path for PR
         if: github.event_name == 'pull_request'