Allow logged users to kill builds that are pending or testing.
The kill button solves the following problem:
When you have a community and enterprise branch with pull request.
The enterprise PR gets fetched before the branch by runbot, so it
builds with the community master branch instead of the corresponding
community branch. As the branch shares the same HEAD as the PR,
so no other build is done for the branch.
Previously you had to wait the build to finish building, then rebuild it
from the branch, taking twice the time necessary. Now you'll be able to
kill & rebuild it just after pushing the branch.
Also having a kill button is globally a nice to have feature.
Allow logged users to kill builds that are pending or testing.
The kill button solves the following problem:
When you have a community and enterprise branch with pull request. The enterprise PR gets fetched before the branch by runbot, so it builds with the community master branch instead of the corresponding community branch. As the branch shares the same HEAD as the PR, so no other build is done for the branch.
Previously you had to wait the build to finish building, then rebuild it from the branch, taking twice the time necessary. Now you'll be able to kill & rebuild it just after pushing the branch.
Also having a kill button is globally a nice to have feature.