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: