make proofs generic in cacheLineBits #3030

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	2h 36m 1s
All (ARM)	3h 7m 9s
All (ARM_HYP)	2h 36m 2s
All (RISCV64)	3h 7m 20s
All (X64)	2h 56m 23s
	14h 22m 55s