produce _def and _val theorems in value_type #2642

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 43m 51s
All (ARM)	3h 21m 34s
All (ARM_HYP)	3h 8m 37s
All (RISCV64)	2h 48m 59s
All (X64)	3h 38m 57s
	14h 41m 58s