CI

Bump seL4 and Microkit #130

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	7m 21s
Run sel4test (aarch64)	5m 42s
Build docs	7m 23s
Check Kani proofs	3m 57s
Run sel4test (aarch32)	5m 41s
Check licenses	14s
Run sel4test (riscv64)	6m 37s
Check source	2m 38s
Run other tests	9m 0s
Run sel4test (riscv32)	6m 19s
Run sel4test (x86_64)	7m 16s
Run sel4test (ia32)	2m 12s
Build everything	8m 33s
Deploy docs	0s
	1h 12m 53s