migration to ubuntu 20.04

2035858a · niklas.baumgarten · 3a727456 · 2035858a
Commit 2035858a authored Nov 11, 2020 by niklas.baumgarten
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,7 +7,7 @@ stages:

 variables:
  OS: "ubuntu"
-  OS_VERSION: "18.04"
+  OS_VERSION: "20.04"
  REGISTRY: "ci.cluster.math.kit.edu"
  IMAGE_NAME_MLMC: "mlmc-${CI_COMMIT_SHORT_SHA}-${OS}${OS_VERSION}"
  BENCHMARK: "feature"