CI

Add a crate for embeded_hal (etc.) driver adapters #154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 35s
Check licenses	9s
Check dependencies	2m 32s
Check Kani proofs	3m 9s
Check source	2m 42s
Run other tests	9m 40s
Run sel4test (aarch64)	3m 56s
Run sel4test (aarch32)	4m 14s
Run sel4test (riscv64)	4m 16s
Run sel4test (riscv32)	4m 11s
Run sel4test (x86_64)	4m 4s
Run sel4test (ia32)	1m 25s
Build everything	8m 1s
Deploy docs	0s
	49m 54s