Get CRAN repo from CDN

Change-Id: Idb5e35036c55bccb6e5aac8e9ca01e0a224803b1
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8ee6557..3f89b0f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,7 +44,8 @@
     - end_section install_fonts
 
     - start_section install_r_packages "Installing missing R packages"
-    - echo "options(Ncpus=$(nproc))" > ~/.Rprofile
+    - echo -e 'local({r <- getOption("repos")\n r["CRAN"] <- "https://cloud.r-project.org"\n options(repos=r)})' > ~/.Rprofile
+    - echo "options(Ncpus=$(nproc))" >> ~/.Rprofile
     - R -e "install.packages(c('devtools', 'scales', 'sp', 'raster', 'kableExtra', 'DT', 'svglite', 'qrcode'), dependencies=TRUE)"
     - R -e 'devtools::install_git("https://korap.ids-mannheim.de/gerrit/IDS-Mannheim/idsThemeR", dependencies=TRUE)'
     - R -e 'devtools::install_git("https://korap.ids-mannheim.de/gerrit/IDS-Mannheim/posterdown", dependencies=TRUE)'