hey folks, I think I’ve asked about this last summer — I can’t seem to find a way in the UI to stop a GitHub Action, e.g. https://github.com/pantsbuild/pants/actions/runs/1820362512. Is it something about my permissions or I should have simply searched harder? 🙂

I think it's permissions. Travis used to differentiate between Contributor vs Maintainer, whereby we could let Contributors stop/restart CI without having merge access. But last John checked, GitHub doesn't let us differentiate

I see. I feel so bad about those jobs running for 45 minutes. I’ll make sure to push cautiously