CI

Merge pull request #1085 from stlankes/mio #2541

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	13s
Clippy	51s
Check	48s
Build	1m 8s
Check docs	21s
Run (x86_64, dev)	9m 54s
Run (x86_64, release)	8m 7s
Run (x86_64, kvm)	4m 16s
Run (aarch64, dev)	5m 1s
Test	55s
Run (aarch64, release)	5m 26s
Run (riscv64, dev)	3m 59s
Run (riscv64, release)	2m 44s
	43m 43s