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
..
2019-05-13 15:42:36 +02:00
2019-01-21 21:37:45 +01:00
2019-07-14 15:29:19 +02:00
2019-07-14 15:29:19 +02:00
2019-09-24 09:03:56 -05:00