diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 06cb3dd46..077e4d70c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -107,8 +107,8 @@ jobs:
     - name: download OR-Tools
       run: |
           cd $GITHUB_WORKSPACE
-          curl https://github.com/google/or-tools/releases/download/v9.7/ -o or-tools.tar.gz
-          tar -xvf or-tools.tar.gz
+          curl -LJO https://github.com/google/or-tools/releases/download/v9.7/or-tools_x86_64_macOS-13.5_cpp_v9.7.2996.tar.gz
+          tar -xvf or-tools_x86_64_macOS-13.5_cpp_v9.7.2996.tar.gz
           ORTOOLSDIR=$GITHUB_WORKSPACE/or-tools_x86_64_macOS-13.5_cpp_v9.7.2996
           echo "ORTOOLSDIR=$ORTOOLSDIR" >> $GITHUB_ENV