Development record
Every push already carries a local make preflight receipt that ran the same gates CI runs, but CI cannot see it, so the pull-request run repeats the work. The receipt is the pusher's word, not an attestation, and with many agents pushing that is too weak to replace the queue run; it could only spare duplicate work before the queue.
issueopenminoriss-2610110939559446
Every push already carries a local make preflight receipt that ran the same gates CI runs, but CI cannot see it, so the pull-request run repeats the work. The receipt is the pusher's word, not an attestation, and with many agents pushing that is too weak to replace the queue run; it could only spare duplicate work before the queue.
Frontmatter
| id | iss-2610110939559446 |
|---|---|
| type | issue |
| lifecycle | open |
| severity | minor |
.abcd/work/issues/open/iss-2610110939559446-every-push-already-carries-a-local-make.md
open on GitHub ↗ · commit history ↗
References1
- itd-2610261025516272Private repos land checked work without renting CIrelated
mentions1
- itd-2610110940216682Every change is checked in full once, on exactly what lands