Merge pull request #915 from mkroening/add-network-timer #1661
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
Check
1m 1s
Clippy
1m 33s
Format
26s
Check docs
50s
Build
1m 38s
Test
1m 26s
Run Hermit for Rust (x86_64)
16m 23s
Run Hermit for Rust (aarch64)
8m 40s
Run Hermit for Rust (x86_64 + kvm)
4m 31s