DEBUG

Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Mar 18, 2024 · 51e2710 · 51e2710
1 parent 44e63c6
commit 51e2710
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; env;;
 	esac
 elif test true = "$GITLAB_CI"
 then