word_lib+crefine: move lemmas to Word_Lib #2772

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM_HYP)	3h 0m 38s
All (ARM)	3h 31m 2s
All (RISCV64)	2h 32m 40s
All (AARCH64)	3h 4m 11s
All (X64)	3h 43m 47s
	15h 52m 18s