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