Skip to content
Profile Library Typechecking

Shifts and unshifts of concepts around sequential colimits (#1070) #41

Sign in to view logs

Shifts and unshifts of concepts around sequential colimits (#1070)

Shifts and unshifts of concepts around sequential colimits (#1070) #41

Run time

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