Merge pull request #940 from cagatay-y/main #1812

Job	Run time
Clippy	1m 7s
Check	1m 10s
Build	1m 25s
Check docs	33s
Format	19s
Run Hermit for Rust (x86_64 + kvm)	4m 24s
Test	1m 50s
Run (x86_64, rusty_demo, none, dev)	6m 3s
Run (x86_64, rusty_demo, none, release)	4m 12s
Run (x86_64, httpd, virtio-net-pci, dev)	3m 12s
Run (x86_64, httpd, virtio-net-pci, release)	3m 25s
Run (x86_64, httpd, rtl8139, dev)	3m 14s
Run (x86_64, httpd, rtl8139, release)	4m 49s
Run (x86_64, testudp, virtio-net-pci, dev)	3m 38s
Run (x86_64, testudp, virtio-net-pci, release)	4m 48s
Run (x86_64, testudp, rtl8139, dev)	3m 12s
Run (x86_64, testudp, rtl8139, release)	3m 34s
Run (x86_64, hello_world, none, dev)	2m 47s
Run (x86_64, hello_world, none, release)	2m 54s
Run (aarch64, rusty_demo, none, dev)	4m 5s
Run (aarch64, rusty_demo, none, release)	3m 20s
Run (aarch64, httpd, virtio-net-pci, dev)	3m 44s
Run (aarch64, httpd, virtio-net-pci, release)	3m 51s
Run (aarch64, testudp, virtio-net-pci, dev)	3m 18s
Run (aarch64, testudp, virtio-net-pci, release)	3m 22s
	1h 18m 16s

Provide feedback