state pull should use the already-merged commit's build script instead of attempting a merge.
#17979
| Job | Run time |
|---|---|
| 1s | |
| 1s | |
| 1s | |
| 0s | |
| 0s | |
| 3s |