CI

Revert "ci: workaround bad mio branch" #4030

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Doc	34s
Build	1m 7s
Check	59s
Clippy	1m 17s
Format	15s
Run (x86_64, dev)	13m 37s
Run (x86_64, kvm)	4m 5s
Run (x86_64, release)	12m 13s
Test	1m 31s
Run (aarch64, dev)	6m 5s
Run (aarch64, release)	5m 49s
Run (riscv64, dev)	5m 11s
Run (riscv64, release)	2m 57s
	55m 40s