Merge pull request #956 from mkroening/nightly-2023-10-15 #1883

Job	Run time
Check docs	1m 2s
Check	1m 32s
Clippy	2m 45s
Format	29s
Build	2m 17s
Run Hermit for Rust (x86_64 + kvm)	6m 28s
Test	1m 57s
Run (x86_64, rusty_demo, none, dev)	4m 44s
Run (x86_64, rusty_demo, none, release)	4m 43s
Run (x86_64, httpd, virtio-net-pci, dev)	3m 41s
Run (x86_64, httpd, virtio-net-pci, release)	4m 47s
Run (x86_64, httpd, rtl8139, dev)	4m 24s
Run (x86_64, httpd, rtl8139, release)	4m 13s
Run (x86_64, testudp, virtio-net-pci, dev)	3m 52s
Run (x86_64, testudp, virtio-net-pci, release)	3m 32s
Run (x86_64, testudp, rtl8139, dev)	3m 25s
Run (x86_64, testudp, rtl8139, release)	3m 43s
Run (x86_64, hello_world, none, dev)	3m 5s
Run (x86_64, hello_world, none, release)	3m 50s
Run (aarch64, rusty_demo, none, dev)	5m 16s
Run (aarch64, rusty_demo, none, release)	3m 25s
Run (aarch64, httpd, virtio-net-pci, dev)	4m 59s
Run (aarch64, httpd, virtio-net-pci, release)	3m 23s
Run (aarch64, testudp, virtio-net-pci, dev)	4m 42s
Run (aarch64, testudp, virtio-net-pci, release)	4m 21s
	1h 30m 35s

Provide feedback