CI

nix: Make `buildSysroot` more broadly useful #478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	3m 3s
Check licenses	15s
Build docs	8m 45s
Check Kani proofs	3m 37s
Check source	2m 40s
Run other tests	51m 30s
Build everything	13m 0s
Deploy docs	0s
	1h 22m 50s