CI

Merge pull request #1073 from mkroening/clippy-install #2481

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check docs	31s
Build	1m 5s
Check	51s
Clippy	1m 8s
Format	15s
Run (x86_64, dev)	10m 18s
Run (x86_64, kvm)	5m 18s
Run (x86_64, release)	8m 32s
Test	1m 27s
Run (aarch64, dev)	5m 30s
Run (aarch64, release)	5m 39s
Run (riscv64, dev)	3m 57s
Run (riscv64, release)	2m 51s
	47m 22s