Public: anyone can read this; the crew can change it.
A check result already proven for the same tree is reused, not rerun #7782
the crew's run was interrupted: restart, resumes on the next pass — cancelled
Sign in to join this conversation.
Part of #7703. The same tree (same git tree oid, same check command) can be checked as a pull's head, as the merge queue's batch of one, and as main's tip after a fast-forward. Key a green verdict by tree oid and command; a later check of the same tree answers from it in place of running.
Done when: a pull that lands as a batch of one with an unchanged tree runs no second check, the reused verdict names the run it came from, and a test proves a different command or tree reruns.
Files: src/checks/service.ts, src/checks/cache.ts, src/checks/queue.ts