CI

docs: Fix git revs in README.md #236

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	3m 59s
Check licenses	14s
Build docs	2m 0s
Check Kani proofs	3m 8s
Check source	2m 12s
Run other tests	5m 25s
Run sel4test (aarch64)	4m 30s
Run sel4test (aarch32)	4m 56s
Run sel4test (riscv64)	4m 47s
Run sel4test (riscv32)	4m 5s
Run sel4test (x86_64)	4m 23s
Run sel4test (ia32)	2m 5s
Build everything	6m 4s
Deploy docs	48s
	48m 36s