From 17366bfaaa43c32dfa8c7e682b0a651d5798b756 Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Fri, 1 May 2026 10:00:34 +0000 Subject: [PATCH] Skip benchmark job on fork PRs The strata-benchmarks job requires secrets.AWS_BENCHMARK_ACCOUNT which is not available on pull requests from forks. Add a condition to skip the job when the PR originates from a different repository. --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d01fc1ed7c..d2530ad98c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -323,6 +323,8 @@ jobs: uses: ./.github/workflows/cbmc.yml strata-benchmarks: + # Skip on fork PRs where the AWS secret is unavailable + if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository name: Run internal benchmarks of Strata runs-on: ubuntu-latest permissions: