From 66a41a00e8115f6b353f32ef504f69d0aec990aa Mon Sep 17 00:00:00 2001 From: Stephen Gutekanst Date: Sun, 25 Jul 2021 22:47:27 -0700 Subject: [PATCH] CI: do not duplicate push/pull_request checks Signed-off-by: Stephen Gutekanst --- .github/workflows/ci.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c69ab85c..6a68aab4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,9 @@ on: jobs: x86_64-linux: runs-on: ubuntu-latest + # We want to run on external PRs, but not on our own internal PRs as they'll be run by the push + # to the branch. + if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository steps: - name: Checkout uses: actions/checkout@v2 @@ -27,6 +30,9 @@ jobs: run: cd webgpu && zig build test x86_64-windows: runs-on: windows-latest + # We want to run on external PRs, but not on our own internal PRs as they'll be run by the push + # to the branch. + if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository steps: - name: Checkout uses: actions/checkout@v2 @@ -56,6 +62,9 @@ jobs: run: cd webgpu && zig build test x86_64-macos: runs-on: macos-latest + # We want to run on external PRs, but not on our own internal PRs as they'll be run by the push + # to the branch. + if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository steps: - name: Checkout uses: actions/checkout@v2