Fix bug where choice() didn't consume params on successful matching #107
Job | Run time |
---|---|
19s | |
17s | |
22s | |
1m 59s | |
1m 59s | |
2m 5s | |
1m 14s | |
1m 0s | |
1m 12s | |
1m 8s | |
1m 1s | |
1m 4s | |
1m 4s | |
1m 8s | |
1m 10s | |
1m 11s | |
1m 9s | |
1m 14s | |
1m 11s | |
1m 11s | |
1m 8s | |
24m 6s |
Job | Run time |
---|---|
19s | |
17s | |
22s | |
1m 59s | |
1m 59s | |
2m 5s | |
1m 14s | |
1m 0s | |
1m 12s | |
1m 8s | |
1m 1s | |
1m 4s | |
1m 4s | |
1m 8s | |
1m 10s | |
1m 11s | |
1m 9s | |
1m 14s | |
1m 11s | |
1m 11s | |
1m 8s | |
24m 6s |