From b3eba030e60f01fa61f1b89f1c2e588a59e4b76c Mon Sep 17 00:00:00 2001
From: Fredrik Wieczerkowski <fredrik.wieczerkowski@stu.uni-kiel.de>
Date: Tue, 1 Mar 2022 18:19:09 +0100
Subject: [PATCH 1/3] Add CI pipeline

---
 .gitlab-ci.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..68c9720d
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,13 @@
+image:
+  name: "haskell:8.10.7"
+  entrypoint: [""]
+
+stages:
+  - make
+
+make:
+  stage: make
+  tags:
+    - docker2
+  script:
+    - make
-- 
GitLab


From 250903a17b0dec7975c64aa2d2c33164753445dc Mon Sep 17 00:00:00 2001
From: Fredrik Wieczerkowski <fredrik.wieczerkowski@stu.uni-kiel.de>
Date: Thu, 3 Mar 2022 14:43:25 +0100
Subject: [PATCH 2/3] Run test suite in CI

---
 .gitlab-ci.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 68c9720d..7eb2bfff 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,6 +4,7 @@ image:
 
 stages:
   - make
+  - test
 
 make:
   stage: make
@@ -11,3 +12,10 @@ make:
     - docker2
   script:
     - make
+
+test:
+  stage: test
+  tags:
+    - docker2
+  script:
+    - make runtests
-- 
GitLab


From 5dc93f45c37fc242ba544aabe1463a351fd8bf27 Mon Sep 17 00:00:00 2001
From: Kai Prott <kai.prott@hotmail.de>
Date: Tue, 22 Nov 2022 11:25:09 +0100
Subject: [PATCH 3/3] Adapt for new ghc version used on master

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7eb2bfff..bf318d74 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,5 +1,5 @@
 image:
-  name: "haskell:8.10.7"
+  name: "haskell:9.2.5"
   entrypoint: [""]
 
 stages:
-- 
GitLab