Merge branch 'main' of https://github.com/compiler-explorer/infra into main

Author: partouf

update_compilers/common.inc

@@ -50,7 +50,7 @@ if install_nightly; then
 fi
 
 ce_install() {
-    "${SCRIPT_DIR}/../bin/ce_install" ${CE_INSTALL_ARG} install "$@"
+    "${SCRIPT_DIR}/../bin/ce_install" ${CE_INSTALL_ARG} --check-user nobody install "$@"
 }
 
 ce_squash() {

update_compilers/install_compilers.sh

@@ -15,7 +15,7 @@ else
     echo "Skipping install of nightly compilers"
 fi
 
-ce_install --check-user nobody compilers
+ce_install compilers
 
 # at some point, we'll want to do this:
 #ce_squash compilers