fix: try to fix the usage of github workspace.

coin-or · Apr 20, 2024 · b278758 · b278758
1 parent ed3d84e
commit b278758
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 }}