Alex Crichton d7f3c0bbb3 Migrate CI to GitHub Actions (#813) ...

* 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!

* Disable clippy on CI for now

Looks like it's got quite a few errors

2019-09-24 09:03:56 -05:00

..

main.yml

Migrate CI to GitHub Actions (#813)

2019-09-24 09:03:56 -05:00