Need to reference where the script is installed on the host

runtimeverification · Jan 24, 2024 · cee645b · cee645b
1 parent f01c411
commit cee645b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yaml b/action.yaml
@@ -49,5 +49,5 @@ runs:
       env:
         GITHUB_TOKEN: ${{ inputs.token }}
       working-directory: tmp-${{ inputs.repo }}
-      run: python3 ../src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }}
+      run: python3 $(dirname $0)/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }}