CI

Remove usage unstable `never`-related features #199

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 4s
Build docs	7m 59s
Check licenses	8s
Check Kani proofs	2m 59s
Check source	2m 9s
Run other tests	9m 7s
Run sel4test (aarch64)	4m 45s
Run sel4test (aarch32)	5m 4s
Run sel4test (riscv64)	5m 48s
Run sel4test (riscv32)	4m 7s
Run sel4test (x86_64)	4m 38s
Run sel4test (ia32)	2m 9s
Build everything	18m 9s
Deploy docs	0s
	1h 11m 6s