Skip to content
Profile Library Typechecking

chore: Universal properties of colimits quantify over all universe le… #59

Sign in to view logs

chore: Universal properties of colimits quantify over all universe le…

chore: Universal properties of colimits quantify over all universe le… #59

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck-performance (ubuntu-latest, 2.6.4)
10m 46s
10m 46s