diff --git a/bot/build.sh b/bot/build.sh
index 92b833bcd2..504f197e79 100755
--- a/bot/build.sh
+++ b/bot/build.sh
@@ -179,6 +179,7 @@ fi
 
 # Skip CUDA installation for riscv.eessi.io
 if [[ "${REPOSITORY}" == riscv.eessi.io* ]]; then
+    echo "bot/build.sh: disabling CUDA installation for RISC-V repository ${REPOSITORY}"
     INSTALL_SCRIPT_ARGS+=("--skip-cuda-install")
 fi
 echo "DEBUG: repo: ${REPOSITORY}, ${INSTALL_SCRIPTS_ARGS[@]}"