CI

Fix `unwinding` feature in `sel4-microkit` crate #565

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 21s
Check licenses	16s
Build docs	9m 45s
Check dependencies	2m 30s
Check source	2m 42s
Run other tests	8m 45s
Build everything	0s
Deploy docs	0s
	28m 19s