CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	5m 26s
Build docs	12m 27s
Check source	1m 21s
Check Kani proofs	4m 2s
Run other tests	9m 57s
Run sel4test (aarch64)	5m 22s
Run sel4test (aarch32)	6m 28s
Run sel4test (riscv64)	5m 57s
Run sel4test (riscv32)	6m 27s
Run sel4test (x86_64)	6m 3s
Run sel4test (ia32)	2m 16s
Build everything	0s
Deploy docs	0s
	1h 5m 46s