CI

Bump remote action versions #229

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 17s
Check licenses	16s
Check dependencies	3m 54s
Build docs	2m 17s
Check source	2m 16s
Run other tests	3m 35s
Run sel4test (aarch64)	4m 16s
Run sel4test (aarch32)	4m 39s
Run sel4test (riscv64)	4m 40s
Run sel4test (riscv32)	4m 9s
Run sel4test (x86_64)	9m 3s
Run sel4test (ia32)	2m 4s
Build everything	4m 54s
Deploy docs	0s
	49m 20s