CI

Replace MBedTLS with Rustls #183

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 49s
Check Kani proofs	3m 17s
Check dependencies	2m 58s
Check licenses	8s
Check source	1m 39s
Run other tests	3m 51s
Run sel4test (aarch64)	3m 47s
Run sel4test (aarch32)	4m 44s
Run sel4test (riscv64)	4m 12s
Run sel4test (riscv32)	4m 34s
Run sel4test (x86_64)	4m 2s
Run sel4test (ia32)	1m 33s
Build everything	7m 31s
Deploy docs	0s
	44m 5s