Since PRs seem to be much rarer than pushes to main, it makes more sense to do it this way. Perhaps in the future, it would make sense to run it on all pushes, but the question would be how PRs are handled.
this is a temporary stopgap measure
This should make the CI output more readable.