Build TypeTheory

Merge pull request #240 from rmatthes/restorecompilationafterUniMathP… #25

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with dev	7m 38s
Build with latest	7m 8s
Build with 8.16	7m 51s
Build with 8.15	8m 20s
	30m 57s