CI

Remove `sel4-async-block-io-cpiofs` #245

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	7m 43s
Check licenses	16s
Check Kani proofs	2m 59s
Check dependencies	4m 2s
Check source	1m 35s
Run other tests	5m 33s
Build everything	11m 49s
Deploy docs	0s
	33m 57s