fix: Correctly set the license file path + license file contents in b…

…enchmarker
coin-or · Apr 20, 2024 · c6046fd · c6046fd
1 parent 8ccdd22
commit c6046fd
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 4 deletions.
diff --git a/.github/workflows/benchmarker.yml b/.github/workflows/benchmarker.yml
@@ -38,6 +38,16 @@ on:
         default: ""
         required: false
         type: string
+      gurobi_license_file:
+        description: 'The path to the Gurobi license file'
+        default: ""
+        required: false
+        type: string
+      gams_license_file:
+        description: 'The path to the GAMS license file'
+        default: ""
+        required: false
+        type: string
     secrets:
       gurobi_license:
         description: 'Gurobi license file secret'
@@ -60,8 +70,8 @@ on:
 
 
 env:
-  GRB_LICENSE_FILE: ${{ github.workspace }}/gurobi.lic
-  GAMS_LICENSE_FILE: ${{ github.workspace }}/ThirdParty/gams42.3_linux_x64_64_sfx/gamslice.txt
+  GRB_LICENSE_FILE: ${{inputs.gurobi_license_file}}
+  GAMS_LICENSE_FILE: ${{inputs.gams_license_file}}
 
 jobs:
   benchmark:

diff --git a/.github/workflows/build-workflow.yml b/.github/workflows/build-workflow.yml
@@ -371,8 +371,10 @@ jobs:
       benchmark_type: "nl"
       enable_gurobi: ${{ inputs.enable_gurobi }}
       enable_gams: ${{ inputs.enable_gams }}
+      gurobi_license_file: ${{ env.GUROBI_LICENSE_FILE }}
+      gams_license_file: ${{ env.GAMS_LICENSE_FILE }}
     secrets:
-      gurobi_license: ${{ secrets.GUROBI_LICENSE_FILE }}
-      gams_license: ${{ secrets.GAMS_LICENSE_FILE }}
+      gurobi_license: ${{ secrets.gurobi_license }}
+      gams_license: ${{ secrets.gams_license }}
       OS_USERNAME: ${{ secrets.OS_USERNAME }}
       OS_PASSWORD: ${{ secrets.OS_PASSWORD }}