"Cancel all" button on GitHub UI

[david-crespo]

Sometimes I'll push a fix to an omicron PR and I know the currently running thing will fail anyway, or I don't care, so I cancel the jobs to free up the queue. But there are like 10 jobs, so it's a lot of clicking.

Here is the existing cancel button for a single job. If the cancel all button would go next to it, it would be good to be pretty explicit about what it does in the button label text. I wouldn't normally expect to be able to affect other jobs from inside that page.

[david-crespo]

https://docs.github.com/en/rest/checks/runs?apiVersion=2022-11-28#update-a-check-run

[jclulow]

I have attempted to fix this in 4ae0dc9fc1e6e300bba9f959ce264aad2754cdbd which is now deployed. There will be two buttons, one of which will attempt to cancel things that are still running:

If it doesn't work for you when you try, please re-open the issue!