Fix tests 31

fabasoad · Dec 30, 2024 · f4e6b1e · f4e6b1e
1 parent 6462806
commit f4e6b1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"