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
A
Alex Crichton committed
d7f3c0bbb3adc4df733a2c149550cea406510465
Parent: 59fee20
Committed by GitHub <noreply@github.com>
on 9/24/2019, 2:03:56 PM