Open
Description
Create a workflow that automatically builds the project on every PR push, so that we can't merge changes that would break deployment.
We should reuse the build job from here:
See https://docs.github.com/en/actions/sharing-automations/reusing-workflows