Jonathan Yu c270570f77
chore: run builds on pull requests (#2866)
* 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
2021-03-12 09:48:39 -08:00
..
2020-07-22 15:15:30 -04:00