word_lib+crefine: move lemmas to Word_Lib #2773

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM)	14m 10s
All (AARCH64)	11m 6s
All (ARM_HYP)	1h 21m 37s
All (X64)	1h 31m 55s
All (RISCV64)	1h 25m 57s
	4h 44m 45s