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.

Eg: https://github.com/DataDog/puppet-datadog-agent/pull/557/checks?sha=00f66551866c2fad3ad1e4d26bcdafd9aa01368d

Just realized this is already possible… nevermind!