Print what is being executed on CI

This makes it easier to grep for executed commands in CI logs

Author: Kobzol

src/ci/docker/host-x86_64/x86_64-gnu-llvm-14/script.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -ex
 
 # Only run the stage 1 tests on merges, not on PR CI jobs.
 if [[ -z "${PR_CI_JOB}" ]]; then

src/ci/run.sh

@@ -188,6 +188,7 @@ else
 fi
 
 if [ ! -z "$SCRIPT" ]; then
+  echo "Executing ${SCRIPT}"
   sh -x -c "$SCRIPT"
 else
   do_make() {