CI

Merge pull request #1086 from stlankes/mio #2544

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	54s
Clippy	53s
Build	1m 5s
Check docs	26s
Format	18s
Test	58s
Run (x86_64, dev)	10m 14s
Run (x86_64, kvm)	4m 15s
Run (x86_64, release)	8m 2s
Run (aarch64, dev)	4m 54s
Run (aarch64, release)	5m 17s
Run (riscv64, dev)	4m 10s
Run (riscv64, release)	2m 26s
	43m 52s