message: ci: no upgrade
diff: set -e
  # Temporary script to remove tools from Azure pipelines agent to create more disk space room.
  -sudo apt-get -y update
  -sudo apt-get purge -y 'ghc-*' 'zulu-*-azure-jdk' 'libllvm*' 'mysql-*' 'dotnet-*' 'cpp-*'
  +sudo apt-get update -y
  +sudo apt-get purge -y --no-upgrade 'ghc-*' 'zulu-*-azure-jdk' 'libllvm*' 'mysql-*' 'dotnet-*'
  dpkg-query -Wf '${Installed-Size}\t${Package}\n' | sort -rn
  