CI

Merge pull request #1077 from mkroening/more-ready #2517

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	19s
Check docs	40s
Clippy	1m 39s
Check	1m 9s
Build	1m 33s
Run (x86_64, dev)	11m 16s
Run (x86_64, kvm)	6m 28s
Run (x86_64, release)	8m 59s
Test	1m 57s
Run (aarch64, dev)	5m 48s
Run (aarch64, release)	5m 32s
Run (riscv64, dev)	4m 29s
Run (riscv64, release)	2m 55s
	52m 44s