CI

Bump seL4 and Microkit #132

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	14s
Check Kani proofs	4m 42s
Build docs	2m 3s
Check dependencies	6m 27s
Check source	2m 59s
Run other tests	5m 50s
Run sel4test (aarch64)	5m 23s
Run sel4test (aarch32)	6m 0s
Run sel4test (riscv64)	6m 1s
Run sel4test (riscv32)	6m 51s
Run sel4test (x86_64)	6m 33s
Run sel4test (ia32)	2m 19s
Build everything	8m 43s
Deploy docs	0s
	1h 4m 5s