diff --git a/scripts/ci/make_mnt_writeable.sh b/scripts/ci/make_mnt_writeable.sh index ddabf84b6b79d..717a9db06ae8f 100755 --- a/scripts/ci/make_mnt_writeable.sh +++ b/scripts/ci/make_mnt_writeable.sh @@ -20,6 +20,11 @@ function make_mnt_writeable { echo "Investigating node disks" lsblk sudo blkid + echo "Check that we have expected /mnt to be a separate mount" + if ! lsblk | grep -q /mnt; then + echo "/mnt is missing as a separate mount, runner misconfigured!" + exit 42 + fi echo "Checking free space!" df -H echo "Cleaning /mnt just in case it is not empty"