fix: Set the default where github context apparently is available.

coin-or · Oct 19, 2023 · 3e56f00 · 3e56f00
1 parent 7a07e3f
commit 3e56f00
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/benchmarker.yml b/.github/workflows/benchmarker.yml
@@ -5,7 +5,7 @@ on:
     inputs:
       shot_executable:
         description: 'The SHOT executable to run'
-        default: "shot"
+        default: ${{ github.workspace }}/build/SHOT
         required: false
         type: string
       benchmark_folder:

diff --git a/.github/workflows/build-push.yml b/.github/workflows/build-push.yml
@@ -42,7 +42,6 @@ jobs:
     with:
       benchmark_folder: "MINLP-convex-small"
       benchmark_type: "nl"
-      shot_executable: ${{ github.workspace }}/build/SHOT
 
   # Publish the test results as an output
 #  publish-test: