The CI/CD GitHub Actions workflow should also be used for building PRs so we know that the code keeps compiling when PR changes are merged.