using env variable instead

dafny-lang · Jul 16, 2024 · f0f994c · f0f994c
1 parent f58a847
commit f0f994c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 }}