From a9120861386dadab812f18c5f7c988f0efc81244 Mon Sep 17 00:00:00 2001
From: Alberto De Bortoli <albertodebortoli@gmail.com>
Date: Mon, 16 Mar 2026 09:21:26 +0000
Subject: [PATCH] Use `$GITHUB_WORKSPACE` instead of `$PWD`

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

diff --git a/action.yml b/action.yml
index b9edb3b..35f4252 100644
--- a/action.yml
+++ b/action.yml
@@ -41,4 +41,4 @@ runs:
       shell: bash
       run: |
         luca install --spec=${{ inputs.spec }}
-        echo "$PWD/.luca/tools" >> $GITHUB_PATH
+        echo "$GITHUB_WORKSPACE/.luca/tools" >> $GITHUB_PATH