mirror of
https://github.com/rust-lang/rust.git
synced 2025-12-30 03:15:30 +00:00
d7f3c0bbb3
* 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