CI

Update zerocopy due to vulnerability #153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 57s
Check Kani proofs	3m 33s
Check licenses	18s
Build docs	8m 16s
Check source	2m 19s
Run other tests	15m 11s
Run sel4test (aarch64)	4m 19s
Run sel4test (aarch32)	4m 29s
Run sel4test (riscv64)	4m 50s
Run sel4test (riscv32)	3m 42s
Run sel4test (x86_64)	4m 29s
Run sel4test (ia32)	1m 35s
Build everything	20m 27s
Deploy docs	0s
	1h 16m 25s