CI

Fill in documentation for remaining items in `sel4` crate #253

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	1m 42s
Check licenses	16s
Check dependencies	3m 42s
Check Kani proofs	3m 6s
Run other tests	3m 23s
Build docs	1m 17s
Build everything	5m 47s
Deploy docs	0s
	19m 13s