Update GHA to use Gurobi 13

Author: metab0t

.github/actions/setup_optimizers_linux/action.yml

@@ -48,7 +48,7 @@ runs:
       shell: bash
       name: Download X64 Installers
       run: |
-        curl -L -o ~/installers/gurobi.tar.gz https://packages.gurobi.com/12.0/gurobi12.0.2_linux64.tar.gz
+        curl -L -o ~/installers/gurobi.tar.gz https://packages.gurobi.com/13.0/gurobi13.0.0_linux64.tar.gz
         curl -L -o ~/installers/copt.tar.gz https://pub.shanshu.ai/download/copt/7.2.8/linux64/CardinalOptimizer-7.2.8-lnx64.tar.gz
         curl -L -o ~/installers/mosek.tar.bz2 https://download.mosek.com/stable/10.2.0/mosektoolslinux64x86.tar.bz2
         curl -L -o ~/installers/idaes-solvers.tar.gz https://github.com/IDAES/idaes-ext/releases/download/3.4.2/idaes-solvers-ubuntu2204-x86_64.tar.gz
@@ -57,7 +57,7 @@ runs:
       shell: bash
       name: Download ARM64 Installers
       run: |
-        curl -L -o ~/installers/gurobi.tar.gz https://packages.gurobi.com/12.0/gurobi12.0.2_armlinux64.tar.gz
+        curl -L -o ~/installers/gurobi.tar.gz https://packages.gurobi.com/13.0/gurobi13.0.0_armlinux64.tar.gz
         curl -L -o ~/installers/copt.tar.gz https://pub.shanshu.ai/download/copt/7.2.8/aarch64/CardinalOptimizer-7.2.8-aarch64_lnx.tar.gz
         curl -L -o ~/installers/mosek.tar.bz2 https://download.mosek.com/stable/10.2.0/mosektoolslinuxaarch64.tar.bz2
         curl -L -o ~/installers/idaes-solvers.tar.gz https://github.com/IDAES/idaes-ext/releases/download/3.4.2/idaes-solvers-ubuntu2204-aarch64.tar.gz
@@ -67,18 +67,18 @@ runs:
       shell: bash
       run: |
         tar xfz ~/installers/gurobi.tar.gz -C ~/
-        ls ~/gurobi1202/linux64
+        ls ~/gurobi1300/linux64
         # set environment variables
-        export GUROBI_HOME="${HOME}/gurobi1202/linux64"
+        export GUROBI_HOME="${HOME}/gurobi1300/linux64"
         echo "GUROBI_HOME=${GUROBI_HOME}" >> $GITHUB_ENV
     - name: Setup Gurobi Installation Home
       if: ${{ inputs.ARCH == 'ARM64' }}
       shell: bash
       run: |
         tar xfz ~/installers/gurobi.tar.gz -C ~/
-        ls ~/gurobi1202/armlinux64
+        ls ~/gurobi1300/armlinux64
         # set environment variables
-        export GUROBI_HOME="${HOME}/gurobi1202/armlinux64"
+        export GUROBI_HOME="${HOME}/gurobi1300/armlinux64"
         echo "GUROBI_HOME=${GUROBI_HOME}" >> $GITHUB_ENV
     - name: Setup Gurobi Installation
       shell: bash

.github/actions/setup_optimizers_macos/action.yml

@@ -48,7 +48,7 @@ runs:
       shell: bash
       name: Download Universal Installers
       run: |
-        curl -L -o ~/installers/gurobi.pkg https://packages.gurobi.com/12.0/gurobi12.0.2_macos_universal2.pkg
+        curl -L -o ~/installers/gurobi.pkg https://packages.gurobi.com/13.0/gurobi13.0.0_macos_universal2.pkg
         curl -L -o ~/installers/copt.tar.gz https://pub.shanshu.ai/download/copt/7.2.8/osx64/CardinalOptimizer-7.2.8-universal_mac.tar.gz
 
     - if: ${{ (steps.cache-installers-macos.outputs.cache-hit != 'true') && (inputs.ARCH == 'X64') }}
@@ -73,7 +73,7 @@ runs:
         pkgutil --expand-full ~/installers/gurobi.pkg ~/gurobi
         ls ~/gurobi
         # set environment variables
-        export GUROBI_HOME="${HOME}/gurobi/gurobi12.0.2_macos_universal2.component.pkg/Payload/Library/gurobi1202/macos_universal2"
+        export GUROBI_HOME="${HOME}/gurobi/gurobi13.0.0_macos_universal2.component.pkg/Payload/Library/gurobi1300/macos_universal2"
         echo "GUROBI_HOME=${GUROBI_HOME}" >> $GITHUB_ENV
         echo "PATH=${PATH}:${GUROBI_HOME}/bin" >> $GITHUB_ENV
         echo "DYLD_LIBRARY_PATH=${DYLD_LIBRARY_PATH}:${GUROBI_HOME}/lib" >> $GITHUB_ENV

.github/actions/setup_optimizers_windows/action.yml

@@ -51,7 +51,7 @@ runs:
       shell: pwsh
       name: Download Installers
       run: |
-        curl -L -o D:\installers\gurobi.msi https://packages.gurobi.com/12.0/Gurobi-12.0.2-win64.msi
+        curl -L -o D:\installers\gurobi.msi https://packages.gurobi.com/13.0/Gurobi-13.0.0-win64.msi
         curl -L -o D:\installers\copt.zip https://pub.shanshu.ai/download/copt/7.2.8/win64/CardinalOptimizer-7.2.8-win64.zip
         curl -L -o D:\installers\mosek.msi https://download.mosek.com/stable/10.2.0/moseksetupwin64x86.msi
         curl -L -o D:\installers\idaes-solvers.tar.gz https://github.com/IDAES/idaes-ext/releases/download/3.4.2/idaes-solvers-windows-x86_64.tar.gz
@@ -67,12 +67,12 @@ runs:
         GUROBI_WLS: ${{ inputs.GUROBI_WLS }}
       run: |
         lessmsi x D:\installers\gurobi.msi "D:\" gurobi_cl.exe
-        lessmsi x D:\installers\gurobi.msi "D:\" gurobi120.dll gurobi120.lib
+        lessmsi x D:\installers\gurobi.msi "D:\" gurobi130.dll gurobi130.lib
         lessmsi x D:\installers\gurobi.msi "D:\" gurobi_c.h
-        ls D:\SourceDir\gurobi1202\win64
+        ls D:\SourceDir\gurobi1300\win64
         # set environment variables
-        echo "GUROBI_HOME=D:\SourceDir\gurobi1202\win64" >> $env:GITHUB_ENV
-        echo "PATH=$env:PATH;D:\SourceDir\gurobi1202\win64\bin" >> $env:GITHUB_ENV
+        echo "GUROBI_HOME=D:\SourceDir\gurobi1300\win64" >> $env:GITHUB_ENV
+        echo "PATH=$env:PATH;D:\SourceDir\gurobi1300\win64\bin" >> $env:GITHUB_ENV
         echo $env:GUROBI_HOME
         
         # setup license using secrets

optimizer_version.toml

@@ -1,5 +1,5 @@
-Gurobi = "12.0.2"
+Gurobi = "13.0.0"
 COPT = "7.2.8"
 MOSEK = "10.2.0"
-HiGHS = "1.10.0"
+HiGHS = "1.12.0"
 IPOPT = "3.13.2"