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 |
||
|---|---|---|
| .. | ||
| workflows | ||