CI

Remove unecessary instance of #![feature(never_type)] #195

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 11s
Check dependencies	2m 53s
Check licenses	7s
Build docs	7m 39s
Check source	1m 51s
Run other tests	6m 25s
Run sel4test (aarch64)	4m 8s
Run sel4test (aarch32)	4m 31s
Run sel4test (riscv64)	4m 24s
Run sel4test (riscv32)	3m 50s
Run sel4test (x86_64)	4m 19s
Run sel4test (ia32)	1m 41s
Build everything	6m 12s
Deploy docs	49s
	52m 0s