From 255d62129659f2b7b0f7e8e4ec2d9c3e15a594f0 Mon Sep 17 00:00:00 2001 From: Maksim Rakitin Date: Tue, 10 Oct 2023 11:25:55 -0400 Subject: [PATCH] CI: do not repeat CI runs for PRs from the same repo --- .github/workflows/testing.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/testing.yml b/.github/workflows/testing.yml index dcbe2a1..ee95bbe 100644 --- a/.github/workflows/testing.yml +++ b/.github/workflows/testing.yml @@ -6,6 +6,9 @@ on: jobs: build: + # pull requests are a duplicate of a branch push if within the same repo. + if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.repository + strategy: matrix: host-os: ["ubuntu-latest", "macos-latest", "windows-latest"]