CI

Add licensing info to hal-adapters crate #160

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	8s
Build docs	1m 47s
Check Kani proofs	3m 13s
Check dependencies	3m 11s
Check source	2m 55s
Run sel4test (aarch64)	4m 6s
Run other tests	5m 8s
Run sel4test (aarch32)	4m 28s
Run sel4test (riscv64)	4m 22s
Run sel4test (riscv32)	3m 29s
Run sel4test (x86_64)	13m 20s
Run sel4test (ia32)	1m 38s
Build everything	1h 0m 50s
Deploy docs	48s
	1h 49m 23s