| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2019-09-24 | Migrate CI to GitHub Actions (#813) | Alex Crichton | -4/+4 | |
| * 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-07-14 | Add Azure Pipelines | gnzlbg | -0/+22 | |
