xbbs icon indicating copy to clipboard operation
xbbs copied to clipboard

Published 20 hours ago • verified publisher icon managarm

Merging PRs while builds are running doesn't seem to queue another job

Open no92 opened this issue 1 year ago • 0 comments

Assume a build is running after a merged PR in bootstrap. The job starts, waits out the 10 minutes, and starts building. AFAICT, when another PR is merged during this xbbs build, that PR will not trigger a build for it to be queued.

no92 avatar Oct 07 '23 14:10 no92