fix(ci): avoid host shell expansion in policy error

2026-05-15 00:29:52 +00:00 · 2026-04-15 22:42:34 +02:00
parent c94fe868c9
commit 48660e7a7c
1 changed files with 1 additions and 1 deletions
@@ -168,7 +168,7 @@ jobs:
                    add_extra xvla
                    ;;
                  *)
-                    echo "Unknown profiling policy '${policy}'" >&2
+                    echo "Unknown profiling policy ${policy}" >&2
                    exit 1
                    ;;
                esac