CI

nix: Use immutable rev for LLVM source #575

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 7s
Check dependencies	2m 7s
Build docs	10m 47s
Build docs	10m 47s
Check Kani proofs	3m 57s
Check Kani proofs	3m 57s
Check licenses	13s
Check licenses	13s
Check source	3m 7s
Check source	3m 7s
Run other tests	49m 45s
Run other tests	49m 45s
Build everything	49m 40s
Build everything	11m 57s
Deploy docs	0s
Deploy docs	0s
	3h 21m 29s