Skip to content
CI

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… #682

Sign in to view logs

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)…

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… #682

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-latest / ghc 8.8.4
6m 2s
ubuntu-latest / ghc 8.10.7
5m 58s
ubuntu-latest / ghc 9.2.5
5m 53s
ubuntu-latest / ghc 9.4.3
6m 7s
ubuntu-latest / ghc 9.6.3
7m 22s
31m 22s