Enable `sel4-panicking` crate to work with more rustc versions #295

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 5s
Build docs	8m 42s
Check licenses	15s
Check dependencies	3m 58s
Check source	1m 36s
Run other tests	9m 4s
Build everything	6m 41s
Deploy docs	0s
	33m 21s