ci: Update comments and correctly skip the "pull 3rdparty" command#53115
Merged
provokateurin merged 2 commits intomasterfrom May 26, 2025
Merged
ci: Update comments and correctly skip the "pull 3rdparty" command#53115provokateurin merged 2 commits intomasterfrom
provokateurin merged 2 commits intomasterfrom