Builder termination outside of SSH #228

New issue

Open

opened 2026-05-04 19:39:03 +00:00 by ryansquared · 0 comments

ryansquared commented

2026-05-04 19:39:03 +00:00

(Migrated from codeberg.org)

Currently, if someone terminates a git push operation, builders don't immediately terminate. This could lead to runaway builders, which normally get auto-reaped. We should introduce a system to terminate runaway builders, which also means we can extend the timeout to be a bit longer.

Currently, if someone terminates a `git push` operation, builders don't immediately terminate. This could lead to runaway builders, which normally get auto-reaped. We should introduce a system to terminate runaway builders, which also means we can extend the timeout to be a bit longer.

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

public/platform#228

No description provided.

Rows
Columns