Cancel all builds triggered from the same PR

When pushing to a Pull Request on GitHub that triggers a rather large build matrix, if you want to cancel the tests for that PR (eg: you realized there is a mistake and will make a new push), you now have to go job by job and cancel them all. A button to cancel all the jobs related to a PR would be really useful.


Just realized this is already possible… nevermind!