From f0f994c6c5576e678b158f3a6ff640763b6f8b29 Mon Sep 17 00:00:00 2001
From: Siva Somayyajula <somayyas@amazon.com>
Date: Tue, 16 Jul 2024 14:03:30 -0400
Subject: [PATCH] using env variable instead

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

diff --git a/action.yml b/action.yml
index ea9bf76..ab9509c 100644
--- a/action.yml
+++ b/action.yml
@@ -17,7 +17,7 @@ runs:
   - uses: actions/setup-node@v4
     with:
       node-version: 16
-  - run: node ${{ github.action_path }}/dist/index.js
+  - run: node $GITHUB_ACTION_PATH/dist/index.js
     shell: bash
     env:
       INPUT_DAFNY-VERSION: ${{ inputs.dafny-version }}