Fix apparent nondeterminism in pattern matching compilation. (#7557) #7128
| Job | Run time |
|---|---|
| 2m 28s | |
| 4m 18s | |
| 5m 40s | |
| 2m 19s | |
| 2m 59s | |
| 13m 15s | |
| 2m 2s | |
| 2m 20s | |
| 49s | |
| 2m 35s | |
| 1m 11s | |
| 42s | |
| 2m 1s | |
| 41s | |
| 35s | |
| 0s | |
| 43m 55s |
| Job | Run time |
|---|---|
| 2m 28s | |
| 4m 18s | |
| 5m 40s | |
| 2m 19s | |
| 2m 59s | |
| 13m 15s | |
| 2m 2s | |
| 2m 20s | |
| 49s | |
| 2m 35s | |
| 1m 11s | |
| 42s | |
| 2m 1s | |
| 41s | |
| 35s | |
| 0s | |
| 43m 55s |