mirror of
https://github.com/curl/curl.git
synced 2025-04-24 16:40:32 +08:00
136bec79a0
To save time. They are built the same way in the other jobs. Follow-up to 6fc703904b2ed5e320abd66c9ef1efc894578fe9 #16188 Closes #16195