Merge pull request #1106 from AliceRixte/monoid-instances-deriving #610
Job | Run time |
---|---|
11m 37s | |
12m 36s | |
11m 34s | |
12m 41s | |
13m 18s | |
16m 12s | |
16m 37s | |
15m 41s | |
16m 9s | |
2h 6m 25s |
Job | Run time |
---|---|
11m 37s | |
12m 36s | |
11m 34s | |
12m 41s | |
13m 18s | |
16m 12s | |
16m 37s | |
15m 41s | |
16m 9s | |
2h 6m 25s |