CI

Merge pull request #1074 from duanyu-yu/fdt #2572

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	1m 1s
Build	1m 19s
Clippy	1m 3s
Check docs	37s
Format	20s
Run (x86_64, dev)	10m 31s
Run (x86_64, release)	8m 39s
Run (x86_64, kvm)	8s
Run (aarch64, dev)	5m 46s
Run (aarch64, release)	6m 13s
Run (riscv64, dev)	4m 6s
Test	1m 21s
Run (riscv64, release)	2m 43s
	43m 47s