This is the next attempt to trigger Github Actions on a Pull Request.
I have to make these noisy pull requests because it is already working when tested on other repos and we need to troubleshoot why it is not triggering on this repo. See troubleshooting discussion on #178.
Sorry about the noise!
This is the next attempt to trigger Github Actions on a Pull Request.
I have to make these noisy pull requests because it is already working when tested on other repos and we need to troubleshoot why it is not triggering on this repo. See troubleshooting discussion on #178.