Skip to content
Profile Library Typechecking

Characterize identity types of dependent sequential diagrams (#1149) #70

Sign in to view logs

Characterize identity types of dependent sequential diagrams (#1149)

Characterize identity types of dependent sequential diagrams (#1149) #70

Run time

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