CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	7m 27s
Check Kani proofs	3m 3s
Check dependencies	3m 42s
Check licenses	15s
Check source	1m 52s
Run other tests	4m 45s
Build everything	11m 6s
Deploy docs	0s
	32m 10s