CI

crates/sel4/sys: Make clang invocation more robust #540

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	9m 22s
Build docs	9m 22s
Check Kani proofs	4m 20s
Check Kani proofs	4m 20s
Check dependencies	2m 36s
Check dependencies	2m 36s
Check licenses	14s
Check licenses	14s
Check source	2m 42s
Check source	2m 42s
Run other tests	37m 6s
Run other tests	6m 10s
Build everything	0s
Build everything	8m 4s
Deploy docs	0s
Deploy docs	0s
	1h 29m 48s