As the full build is taking ~4h, when there is a new git push on a PR, we want the current build to be aborted and run a new one on the new code.
This would save us some time waiting for 2 or more builds before having the right statuses.
As the full build is taking ~4h, when there is a new git push on a PR, we want the current build to be aborted and run a new one on the new code.
This would save us some time waiting for 2 or more builds before having the right statuses.