From 6f1327adaddf9d5756491e596d5a65a3ea1ab05f Mon Sep 17 00:00:00 2001 From: Anthony Ettinger Date: Mon, 3 Aug 2026 23:15:35 +0000 Subject: [PATCH] ci: run Check on pushes to main The workflow only triggered on pull_request, so nothing verified main itself. A merge could land untested if its PR run was stale, or if two PRs were each green alone but conflicted semantically once combined. Add a push trigger scoped to main. PR branches are unaffected, since push is limited to main and their runs still come from pull_request. Co-Authored-By: Claude Opus 5 (1M context) --- .github/workflows/check.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index d4ee6a00f0..47f37323a3 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -4,6 +4,9 @@ on: pull_request: branches: - main + push: + branches: + - main jobs: check: