DEBUG

Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Mar 17, 2024 · 9b2ac79 · 9b2ac79
1 parent 893ed35
commit 9b2ac79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/lib.sh b/ci/lib.sh
@@ -251,7 +251,7 @@ then
 		# https://github.com/actions/runner-images/issues/9491
 		sudo sysctl vm.mmap_rnd_bits=28
 		;;
-*) echo "::warning::not setting vm.mmap_rnd_bits for '$GITHUB_JOB'" >&2;;
+*) echo "::warning::not setting vm.mmap_rnd_bits for '$GITHUB_JOB'" >&2; env;;
 	esac
 elif test true = "$GITLAB_CI"
 then