CI: fix begingroup printing

2022-11-27 13:20:44 +01:00 · 2022-11-27 13:20:44 +01:00 · b20efbd79f
commit b20efbd79f
parent 144b4859ad
1 changed files with 1 additions and 1 deletions
--- a/src/tools/miri/ci.sh
+++ b/src/tools/miri/ci.sh
@ -2,7 +2,7 @@
 set -euo pipefail

 function begingroup {
-  echo "::group::$1"
+  echo "::group::$@"
  set -x
 }