From 6b61c1bc34fa3050a4af9e78d0e08f2b4c806a17 Mon Sep 17 00:00:00 2001
From: "Theisen, Lambert" <lambert.theisen@mathematik.uni-stuttgart.de>
Date: Wed, 22 Nov 2023 08:30:18 +0100
Subject: [PATCH] Delete .gitlab-ci.yml

---
 .gitlab-ci.yml | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 99fb12b..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,20 +0,0 @@
-# To contribute improvements to CI/CD templates, please follow the Development guide at:
-# https://docs.gitlab.com/ee/development/cicd/templates.html
-# This specific template is located at:
-# https://gitlab.com/gitlab-org/gitlab/-/blob/master/lib/gitlab/ci/templates/Pages/HTML.gitlab-ci.yml
-
-# Full project: https://gitlab.com/pages/plain-html
-pages:
-  stage: deploy
-  image: alpine:latest
-  environment: production
-  script:
-    - mkdir .public
-    - cp -r ./* .public
-    - rm -rf public
-    - mv .public public
-  artifacts:
-    paths:
-      - public
-  rules:
-    - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
-- 
GitLab