From 5f78f9c9be71cbb89e3fc7b2129a7b3fab04df4f Mon Sep 17 00:00:00 2001
From: David Binder <binderd@informatik.uni-tuebingen.de>
Date: Fri, 7 Oct 2022 13:39:36 +0200
Subject: [PATCH] Add a minimal CI config file

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..2b0ad27
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,6 @@
+build:
+  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-fedora33"
+  tags:
+    - "x86_64-linux"
+  script:
+    - "cabal build"
-- 
GitLab