CI

Remove usage unstable `never`-related features #198

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	8m 2s
Check licenses	9s
Check dependencies	3m 37s
Check Kani proofs	3m 47s
Check source	2m 26s
Run other tests	10m 31s
Run sel4test (aarch64)	4m 29s
Run sel4test (aarch32)	4m 57s
Run sel4test (riscv64)	5m 1s
Run sel4test (riscv32)	4m 12s
Run sel4test (x86_64)	4m 39s
Run sel4test (ia32)	2m 7s
Build everything	37m 18s
Deploy docs	0s
	1h 31m 15s