CI

Merge pull request #1133 from mkroening/non-exhaustive-platforms #2797

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	15s
Clippy	57s
Check	52s
Build	1m 7s
Check docs	21s
Run (x86_64, dev)	9m 32s
Run (x86_64, kvm)	3m 42s
Run (x86_64, release)	10m 2s
Test	1m 12s
Run (aarch64, dev)	5m 32s
Run (aarch64, release)	5m 37s
Run (riscv64, dev)	2m 54s
Run (riscv64, release)	3m 22s
	45m 25s