produce _def and _val theorems in value_type #2515

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	35s
Portable Shell	28s
Style	37s
Theory Linter	36s
Trailing Whitespace	32s
	2m 48s