The Gitlab server is successfully updated to version 18.9.2
Use the new DTU cloud infrastructure for the Linux CI.