ci: one check run per head #25

Merged

plat merged 1 commit from feat/check-once into main

2026-08-26 01:40:10 +00:00

plat commented

2026-08-26 01:38:37 +00:00

Owner

push: ["**"] + pull_request ran check and guard-ppt twice for every push on a PR branch (see any prime PR: check (push) and check (pull_request) for the same sha). The isolated runner pool is the crew's critical path; this halves its load. PR branches run on the pull_request event, main on push. The dispatcher looks up check by sha, either event.

`push: ["**"]` + `pull_request` ran check and guard-ppt twice for every push on a PR branch (see any prime PR: `check (push)` and `check (pull_request)` for the same sha). The isolated runner pool is the crew's critical path; this halves its load. PR branches run on the pull_request event, main on push. The dispatcher looks up `check` by sha, either event.

plat added 1 commit

2026-08-26 01:38:37 +00:00