Dean Galvin 4a53177bc5 ci(build): build pull requests merged into current main ... GitHub refreshes merge_commit_sha only when the pull request's branch changes, so a manual build could test the pull request against a main from days earlier. Each job now checks out main as it is when the build starts and merges the pull request head into it.		2026-10-10 07:36:18 +13:00
..
area-labels.yml	ci: label pull requests by area	2026-09-28 15:50:48 +02:00
build.yml	ci(build): build pull requests merged into current main	2026-10-10 07:36:18 +13:00
conflict-label.yml	ci: label pull requests that conflict with main	2026-09-28 15:50:48 +02:00
conventions.yml	ci(build): require manual full builds and auto-test relinker for contributors	2026-10-09 11:58:02 +03:00
labels.yml	ci(prs): require 20 merged prs for pr intake	2026-10-09 20:12:52 +03:00
pr-intake.yml	refactor(ci): simplify pr intake closure message	2026-10-09 20:16:05 +03:00
pr-overlap.yml	ci: comment on pull requests that overlap other open pull requests	2026-09-29 16:24:47 +02:00
progress-comment.yml	feat(tools): report progress changes on pull requests	2026-09-27 18:47:32 +02:00
progress-report.yml	ci: skip jobs unrelated to the changed paths	2026-10-08 19:02:18 +02:00
progress.yml	feat(tools): add progress map for system libraries and shader instructions	2026-09-27 18:21:34 +02:00
release.yml	fix(ci): use git bash for windows release	2026-09-29 00:38:21 +03:00