Port "make exported destructured discriminated union narrowing work" #6305
| Job | Run time |
|---|---|
| 6m 26s | |
| 4m 6s | |
| 3m 9s | |
| 5m 33s | |
| 2m 45s | |
| 7m 16s | |
| 1m 1s | |
| 1m 0s | |
| 20m 44s | |
| 41s | |
| 3m 59s | |
| 3m 33s | |
| 7m 49s | |
| 17m 52s | |
| 13m 53s | |
| 5m 42s | |
| 8m 59s | |
| 8m 30s | |
| 3s | |
| 2h 3m 1s |
| Job | Run time |
|---|---|
| 6m 26s | |
| 4m 6s | |
| 3m 9s | |
| 5m 33s | |
| 2m 45s | |
| 7m 16s | |
| 1m 1s | |
| 1m 0s | |
| 20m 44s | |
| 41s | |
| 3m 59s | |
| 3m 33s | |
| 7m 49s | |
| 17m 52s | |
| 13m 53s | |
| 5m 42s | |
| 8m 59s | |
| 8m 30s | |
| 3s | |
| 2h 3m 1s |