fix curl cmd

NREL · Sep 18, 2023 · 7e31e70 · 7e31e70
1 parent 60ea590
commit 7e31e70
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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