CI

Bump seL4 and Microkit #131

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	2m 51s
Build docs	6m 29s
Check Kani proofs	4m 25s
Check dependencies	6m 55s
Check licenses	9s
Run other tests	8m 4s
Run sel4test (aarch64)	5m 8s
Run sel4test (aarch32)	6m 4s
Run sel4test (riscv64)	9m 34s
Run sel4test (riscv32)	6m 0s
Run sel4test (x86_64)	6m 30s
Run sel4test (ia32)	1m 54s
Build everything	10m 22s
Deploy docs	0s
	1h 14m 25s