CI

Rework asynchronous timers #97

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	12m 53s
Check Kani proofs	4m 5s
Check source	1m 52s
Check dependencies	5m 40s
Run other tests	6m 27s
Run sel4test (aarch64)	5m 24s
Run sel4test (aarch32)	8m 19s
Run sel4test (riscv64)	5m 41s
Run sel4test (riscv32)	4m 44s
Run sel4test (x86_64)	5m 10s
Run sel4test (ia32)	1m 57s
Build everything	18m 37s
Deploy docs	0s
	1h 20m 49s