Skip to content
Profile Library Typechecking

Order theory from @spcfox's modal logic (#1205) #121

Sign in to view logs

Order theory from @spcfox's modal logic (#1205)

Order theory from @spcfox's modal logic (#1205) #121

Run time

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