CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 8s
Check dependencies	3m 45s
Check licenses	11s
Build docs	7m 33s
Run other tests	3m 13s
Check source	1m 50s
Build everything	10m 30s
Deploy docs	0s
	30m 10s