From 9b2ac7963bbab7c80b2eea723040faa60a55ee77 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 17 Mar 2024 23:19:54 +0100
Subject: [PATCH] DEBUG

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 ci/lib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/lib.sh b/ci/lib.sh
index 23974adc6a9ad2..1925528a01f669 100755
--- 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