Merge pull request #1172 from hermit-os/core_local-repr #3108
github-merge-queue[bot]ci.yml
on: push
Check
55s
Clippy
1m 6s
Format
16s
Check docs
28s
Build
1m 11s
Test
1m 7s
Run (x86_64, kvm)
3m 24s
Matrix: Run