CI

Remove #![feature(feature)] from CapDL crates #200

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	3m 29s
Check licenses	8s
Build docs	9m 32s
Check Kani proofs	3m 24s
Check source	2m 37s
Run other tests	10m 54s
Run sel4test (aarch64)	4m 27s
Run sel4test (aarch32)	4m 53s
Run sel4test (riscv64)	4m 51s
Run sel4test (riscv32)	4m 8s
Run sel4test (x86_64)	4m 40s
Run sel4test (ia32)	2m 8s
Build everything	11m 7s
Deploy docs	52s
	1h 7m 10s