additional simplifications to avoid spurious branching on select result #1277
| Job | Run time |
|---|---|
| 8s | |
| 6m 35s | |
| 30m 11s | |
| 36m 54s | |
| 17m 32s | |
| 33m 46s | |
| 40m 0s | |
| 50m 46s | |
| 29m 49s | |
| 4h 5m 41s |
| Job | Run time |
|---|---|
| 8s | |
| 6m 35s | |
| 30m 11s | |
| 36m 54s | |
| 17m 32s | |
| 33m 46s | |
| 40m 0s | |
| 50m 46s | |
| 29m 49s | |
| 4h 5m 41s |