From b80d1a6d00a81da87a679bf188157b788d3d85ae Mon Sep 17 00:00:00 2001 From: fred-doctorina Date: Wed, 2 Sep 2026 13:01:46 +0200 Subject: [PATCH] ci: run patch-invariants on pull_request only (drop duplicate push run) --- .github/workflows/doctorina-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/doctorina-ci.yml b/.github/workflows/doctorina-ci.yml index 800234ba3ecf6..7b85a73b74038 100644 --- a/.github/workflows/doctorina-ci.yml +++ b/.github/workflows/doctorina-ci.yml @@ -5,8 +5,8 @@ # upstream tags: it fails loudly if the Meet line reappears or the hint line is lost. name: doctorina-ci on: + # pull_request only: running on push AND pull_request fired this gate twice per commit on PRs. pull_request: - push: jobs: patch-invariants: runs-on: ubuntu-latest