CI

Merge pull request #1072 from mkroening/unchecked-pin #2476

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	58s
Clippy	1m 15s
Format	15s
Build	1m 4s
Check docs	25s
Run (x86_64, kvm)	4m 54s
Run (x86_64, dev)	10m 35s
Run (x86_64, release)	8m 53s
Test	1m 14s
Run (aarch64, dev)	5m 37s
Run (aarch64, release)	5m 37s
Run (riscv64, dev)	4m 21s
Run (riscv64, release)	2m 48s
	47m 56s