Reverse curl pin #151

Merged

chrisburr merged 2 commits intoDIRACGrid:mainfrom

chaen:reverse_curl

Jan 12, 2026

Commits on Jan 12, 2026

Revert "Pin curl until https://github.com/curl/curl/pull/19408 is released"

chaen
authored and
chrisburr
committed
ci: Use macos-15-intel runners
chrisburr
authored