Parse rhs of select!
arms using match-arm rules
#2534
Job | Run time |
---|---|
27s | |
1m 5s | |
48s | |
49s | |
22s | |
45s | |
2m 24s | |
12s | |
44s | |
31s | |
7m 49s | |
31s | |
3m 36s | |
27s | |
3m 50s | |
3m 2s | |
1m 35s | |
2m 40s | |
5m 8s | |
4m 42s | |
3m 19s | |
6m 20s | |
6m 59s | |
3m 29s | |
1h 1m 34s |