From fec92f5a88db1bd8f8077d8cd76d62621ea008e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jasper=20Gr=C3=A4flich?= <jasper.graeflich@uni-potsdam.de>
Date: Thu, 16 Feb 2023 14:54:58 +0100
Subject: [PATCH] Remove CI
No GitLab Runner is available on this server, so no use failing
the pipeline over and over.
---
.gitlab-ci.yml | 37 -------------------------------------
1 file changed, 37 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 13a5b94..e69de29 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,37 +0,0 @@
-# stages:
-# - build
-
-# build:
-# stage: build
-# image: texlive/texlive:latest
-# before_script:
-# - echo "machine gitlab1.ptb.de login $SETTINGS__GITLAB_USER password $SETTINGS__GITLAB_USER_TOKEN protocol https" >>~/.netrc
-# - chmod 0600 ~/.netrc
-# - git config --global credential.helper netrc
-# # GitLab is not able to connect to the apt-get repository
-# # This seems to be a problem with docker, which I can’t fix.
-# # As a workaround don’t use the firacode font for now.
-# #- apt-get update && apt-get -y install fonts-firacode
-# - export http_proxy="http://194.94.94.194:8080"
-# - export https_proxy="http://194.94.94.194:8080"
-# - export HTTP_proxy="http://194.94.94.194:8080"
-# - export HTTPS_proxy="http://194.94.94.194:8080"
-# - export FTP_proxy="http://194.94.94.194:8080"
-# - export NO_proxy="127.0.0.1, *.ptb.de"
-# script:
-# - cd ${FOLDER}
-# - lualatex --shell-escape ${FILE}
-# - biber ${FILE}
-# - lualatex --shell-escape ${FILE}
-# - lualatex --shell-escape ${FILE}
-# - cd ..
-# artifacts:
-# paths:
-# - "**/*.pdf"
-# parallel:
-# matrix:
-# # List all to-be-built projects here
-# - FOLDER: "proposal"
-# FILE: "proposal"
-# - FOLDER: "thesis"
-# FILE: "thesis"
\ No newline at end of file
--
GitLab