state pull
should use the already-merged commit's build script instead of attempting a merge.
#17979
This job was skipped
Loading