Our GitHub action to build + test on push is currently broken and not reporting back, so we cannot easily verify that a PR doesn't break anything.
This PR updates the action to v3 (along with a couple of other minor tweaks).
I have also updated the repo settings to use the new action instead of the old as a status check, so we can see that this check now passes for this PR. Once merged, we should be able to push empty commits to the remaining open branches to get reliable status checks.
Our GitHub action to build + test on push is currently broken and not reporting back, so we cannot easily verify that a PR doesn't break anything.
This PR updates the action to v3 (along with a couple of other minor tweaks).
I have also updated the repo settings to use the new action instead of the old as a status check, so we can see that this check now passes for this PR. Once merged, we should be able to push empty commits to the remaining open branches to get reliable status checks.