CI

Merge pull request #1067 from mkroening/ready! #2466

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check docs	23s
Build	1m 6s
Check	54s
Clippy	1m 14s
Format	13s
Run (x86_64, dev)	10m 31s
Run (x86_64, kvm)	5m 8s
Test	1m 0s
Run (x86_64, release)	8m 27s
Run (aarch64, dev)	5m 26s
Run (aarch64, release)	5m 40s
Run (riscv64, dev)	4m 9s
Run (riscv64, release)	3m 6s
	47m 17s