CI

Update zerocopy due to vulnerability #155

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	10s
Check Kani proofs	3m 38s
Check dependencies	2m 43s
Build docs	8m 20s
Check source	2m 48s
Run other tests	13m 44s
Run sel4test (aarch64)	3m 55s
Run sel4test (aarch32)	4m 25s
Run sel4test (riscv64)	4m 27s
Run sel4test (riscv32)	3m 49s
Run sel4test (x86_64)	4m 43s
Run sel4test (ia32)	1m 36s
Build everything	6m 54s
Deploy docs	52s
	1h 2m 4s