PR

produce _def and _val theorems in value_type #2336

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	47s
Portable Shell	36s
Style	51s
Theory Linter	52s
Trailing Whitespace	36s
	3m 42s