diff --git a/.github/workflows/build-push.yml b/.github/workflows/build-push.yml index 395ffc5c..a5334bde 100644 --- a/.github/workflows/build-push.yml +++ b/.github/workflows/build-push.yml @@ -34,6 +34,7 @@ jobs: enable_gurobi: true enable_gams: true artifact_suffix: '-proprietary' + run_benchmarks: true secrets: gurobi_license: ${{ secrets.GUROBI_LICENSE_FILE }} gams_license: ${{ secrets.GAMS_LICENSE_FILE }}