Skip to content
Profile Library Typechecking

Hofmann-Streicher universes for graphs and globular types (#1196) #143

Sign in to view logs

Hofmann-Streicher universes for graphs and globular types (#1196)

Hofmann-Streicher universes for graphs and globular types (#1196) #143

Run time

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