c270570f77
* Run builds when changes are pushed to the main branch, or for pull requests opened against the main branch. This is a subtle change in behavior because, previously, builds would've run on pushes to any branch, regardless if a pull request is open yet. * Update to GitHub actions/checkout v2, which performs a shallow clone by default, and should speed up the build. Closes: #2559