CI

Merge pull request #1071 from mkroening/nightly-2024-02-15 #2505

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	1m 33s
Check	1m 13s
Check docs	39s
Clippy	1m 33s
Format	16s
Run (x86_64, dev)	11m 1s
Run (x86_64, kvm)	10m 41s
Test	1m 36s
Run (x86_64, release)	8m 57s
Run (aarch64, dev)	6m 24s
Run (aarch64, release)	6m 29s
Run (riscv64, dev)	5m 8s
Run (riscv64, release)	3m 35s
	59m 5s