From a5fba68daaaa3737b7494faab534bd01fe4ebc8b Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Wed, 24 Jan 2024 14:03:48 -0700
Subject: [PATCH] Use git provided action_path

---
 action.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/action.yaml b/action.yaml
index 8400af3..40533e6 100644
--- a/action.yaml
+++ b/action.yaml
@@ -49,5 +49,5 @@ runs:
       env:
         GITHUB_TOKEN: ${{ inputs.token }}
       working-directory: tmp-${{ inputs.repo }}
-      run: python3 $(dirname $0)/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }}
+      run: python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }}