We should use GitHub Actions to build the code for PRs
We should use GitHub Actions to build the code for PRs