Merge pull request #1358 from hermit-os/newlib-clippy #4281
github-merge-queue[bot]ci.yml
on: push
Check
58s
Clippy
1m 26s
Format
21s
Doc
30s
Build
1m 18s
Test
1m 23s
Run (x86_64, kvm)
4m 2s
Matrix: Run