tree e6214fc411656a249e7950c09f06e752e911471b
parent 3b2d7f338e2d33c5b84cc03fb17eccb8afc3a6fc
author Alex Crichton <alex@alexcrichton.com> 1569006004 -0700
committer Alex Crichton <alex@alexcrichton.com> 1569273227 -0700

Migrate CI to GitHub Actions

This involves less secret and user management than azure pipelines, has
more concurrency by default for repos, and in general has a bit more
modern syntax!