diff --git a/.github/workflows/build-workflow.yml b/.github/workflows/build-workflow.yml index d4437871..2e597013 100644 --- a/.github/workflows/build-workflow.yml +++ b/.github/workflows/build-workflow.yml @@ -366,7 +366,7 @@ jobs: uses: ./.github/workflows/benchmarker.yml needs: [ build ] with: - shot_executable_path: "${{ github.workspace }}/build" + shot_executable_path: ${{ github.workspace }}/build benchmark_folder: "MINLP-convex-small" benchmark_type: "nl" enable_gurobi: ${{ inputs.enable_gurobi }}