CI

Rework asynchronous timers #99

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	11m 39s
Check Kani proofs	4m 23s
Check dependencies	4m 56s
Check source	1m 40s
Run other tests	6m 28s
Run sel4test (aarch64)	7m 1s
Run sel4test (aarch32)	7m 25s
Run sel4test (riscv64)	7m 41s
Run sel4test (riscv32)	4m 34s
Run sel4test (x86_64)	5m 26s
Run sel4test (ia32)	2m 26s
Build everything	25m 36s
Deploy docs	0s
	1h 29m 15s