Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: curl seems to be available but where cannot find it (#24965)
(cherry picked from commit 156ec34) # Conflicts: # .ci/scripts/install-tools.bat
- Loading branch information