CI

Improve parameter types for `sel4::UserContext` methods #297

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 38s
Check Kani proofs	2m 50s
Check licenses	14s
Check dependencies	3m 53s
Check source	1m 35s
Run other tests	3m 45s
Build everything	3m 55s
Deploy docs	0s
	17m 50s