CI

Refactor `sel4` crate #241

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	7m 56s
Check licenses	13s
Check Kani proofs	3m 2s
Check dependencies	4m 21s
Check source	2m 9s
Run other tests	35m 44s
Build everything	0s
Deploy docs	0s
	53m 25s