Back to pull request #95

Fix CapDL initializer on MCS after changes to `sel4` crate #270

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 21s
Check licenses	16s
Build docs	1m 46s
Check dependencies	3m 53s
Check source	2m 10s
Run other tests	4m 51s
Build everything	6m 12s
Deploy docs	0s
	22m 29s