Skip to content
Profile Library Typechecking

Uniqueness of split essential surjectivity of functors (#1242) #154

Sign in to view logs

Uniqueness of split essential surjectivity of functors (#1242)

Uniqueness of split essential surjectivity of functors (#1242) #154

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck-performance (ubuntu-latest, 2.7.0)
11m 20s
11m 20s