Don't disallow Bottom returns. (#510) #1065
| Job | Run time |
|---|---|
| 14m 54s | |
| 17m 26s | |
| 19m 24s | |
| 23m 11s | |
| 27m 47s | |
| 20m 59s | |
| 21m 16s | |
| 2m 2s | |
| 2m 34s | |
| 2m 57s | |
| 2m 10s | |
| 3m 14s | |
| 3m 19s | |
| 2m 31s | |
| 6m 58s | |
| 3m 3s | |
| 2h 53m 45s |
| Job | Run time |
|---|---|
| 14m 54s | |
| 17m 26s | |
| 19m 24s | |
| 23m 11s | |
| 27m 47s | |
| 20m 59s | |
| 21m 16s | |
| 2m 2s | |
| 2m 34s | |
| 2m 57s | |
| 2m 10s | |
| 3m 14s | |
| 3m 19s | |
| 2m 31s | |
| 6m 58s | |
| 3m 3s | |
| 2h 53m 45s |