You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jan 31, 2023. It is now read-only.
In particular if some build failed (or maybe even if it succeeded), sage-cleaner can leave enough crap in its spawned_processes file under $DOT_SAGE/temp that almost any process that ends up getting spawned is immediately killed, along with the patchbot itself, by sage-cleaner, just because there are so many PIDs in there it's almost inevitable one will be reused.
In fact we should probably just clean all of $DOT_SAGE/temp before each run.
In particular if some build failed (or maybe even if it succeeded),
sage-cleanercan leave enough crap in itsspawned_processesfile under$DOT_SAGE/tempthat almost any process that ends up getting spawned is immediately killed, along with the patchbot itself, by sage-cleaner, just because there are so many PIDs in there it's almost inevitable one will be reused.In fact we should probably just clean all of
$DOT_SAGE/tempbefore each run.