DEBUG

Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Mar 17, 2024 · 893ed35 · 893ed35
1 parent 866bf06
commit 893ed35
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/lib.sh b/ci/lib.sh
@@ -251,6 +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;;
 	esac
 elif test true = "$GITLAB_CI"
 then