CI

Replace MBedTLS with Rustls #185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	17s
Run sel4test (aarch64)	3m 47s
Run sel4test (aarch32)	4m 20s
Check dependencies	2m 40s
Run sel4test (riscv64)	4m 0s
Build docs	1m 29s
Run sel4test (riscv32)	3m 24s
Run sel4test (x86_64)	3m 52s
Check Kani proofs	3m 7s
Run sel4test (ia32)	1m 25s
Run other tests	3m 46s
Check source	1m 47s
Build everything	5m 14s
Deploy docs	0s
	39m 8s