ethernet f54141c07a ci: allow manual runs of the existing merge gate ...

The classifier already fails open on dispatch. Reuse the same workflow for exact-head verification when GitHub fails the pull-request graph before scheduling jobs.

2026-09-06 14:02:50 -04:00

..

actions

Merge remote-tracking branch 'upstream/main' into ethie/pm-clean

2026-09-04 03:18:16 -04:00

ISSUE_TEMPLATE

…

scripts

ci: run the work lanes on larger runners and merge the split jobs

2026-08-22 02:25:12 -04:00

workflows

ci: allow manual runs of the existing merge gate

2026-09-06 14:02:50 -04:00

actionlint.yaml

ci: run the work lanes on larger runners and merge the split jobs

2026-08-22 02:25:12 -04:00

dependabot.yml

…

PULL_REQUEST_TEMPLATE.md

…