CI

Bump vulnerable dependency #220

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	8m 38s
Check licenses	1m 3s
Check Kani proofs	3m 11s
Check dependencies	4m 14s
Check source	2m 35s
Run other tests	35m 55s
Run sel4test (aarch64)	4m 48s
Run sel4test (aarch32)	5m 14s
Run sel4test (riscv64)	5m 27s
Run sel4test (riscv32)	4m 28s
Run sel4test (x86_64)	5m 18s
Run sel4test (ia32)	2m 15s
Build everything	18m 39s
Deploy docs	48s
	1h 42m 33s