diff --git a/action.yml b/action.yml
index 4e62ab3..61a663b 100644
--- a/action.yml
+++ b/action.yml
@@ -49,7 +49,7 @@ runs:
 
         arch_dir="${{ runner.os == 'Linux' && 'LINUXx86_64' || (runner.os == 'macOS' && 'DARWINaarch64' || 'Win32x86_64') }}"
 
-        for dir in $RUNNER_TEMP/.ciaoroot/Ciao-*/; do
+        for dir in $RUNNER_TEMP/.ciaoroot/*/; do
           if [ -d "${dir}" ]; then
             echo "${dir}build/bin" >> "$GITHUB_PATH"
             echo "CIAOROOT=${dir}" >> "$GITHUB_ENV"