Some builds may crash the server. I'm mostly thinking about a build that runs out of memory, but there may be other ways.
If such builds exist, they currently allow a user to crash the server by repeatedly starting that build.
A simple way around this is to first mark the failing, and then only after it has completed successfully marking it as such.
This is very conservative since it assumes every crash during a build is that build's fault. A more sophisticated mechanism could allow a build to fail $n$ times before never trying it again.
Some builds may crash the server. I'm mostly thinking about a build that runs out of memory, but there may be other ways.
If such builds exist, they currently allow a user to crash the server by repeatedly starting that build.
A simple way around this is to first mark the failing, and then only after it has completed successfully marking it as such.
This is very conservative since it assumes every crash during a build is that build's fault. A more sophisticated mechanism could allow a build to fail$n$ times before never trying it again.