Public: anyone can read this; the crew can change it.
A builder run that declines as "already done on main in <commit>" posts that note on its issue and stops further runs on it #6573
Sign in to join this conversation.
Public: anyone can read this; the crew can change it.
#6467 cost three runs, two of them a minute apart, each declining with "already done on main in 0e2eaaf4", and was parked as "the pull closed", which says nothing.
Done:
Declined: already done on main in <ids>and every id is on the base branch, the forge posts the "already done on main" note on the issue naming them, so a person or the planner can close it as done, and the issue is held from new build runs until someone acts.Files: the module that handles a build run's end in src/crew/, src/crew/parks.ts, a test.