code-server-2/.github/workflows
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
..
ci.yaml chore: run builds on pull requests (#2866) 2021-03-12 09:48:39 -08:00
publish.yaml Switch off debian:8 to debian:10 for the typescript build image 2020-10-07 15:58:30 -04:00