CI

crates/sel4-async/network/rustls: Add README #186

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 46s
Run sel4test (aarch64)	3m 54s
Run sel4test (aarch32)	4m 29s
Check licenses	8s
Check source	1m 42s
Run sel4test (riscv64)	4m 18s
Build docs	1m 30s
Run sel4test (riscv32)	3m 24s
Check Kani proofs	3m 14s
Run sel4test (x86_64)	3m 53s
Run other tests	3m 45s
Run sel4test (ia32)	1m 25s
Build everything	9m 43s
Deploy docs	48s
	44m 59s