Add continuous integration support
authorBen Gamari <ben@smart-cactus.org>
Sun, 30 Dec 2018 17:55:46 +0000 (12:55 -0500)
committerSebastian Graf <sgraf1337@gmail.com>
Tue, 1 Jan 2019 17:13:47 +0000 (18:13 +0100)
.gitlab-ci.yml [new file with mode: 0644]

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644 (file)
index 0000000..1acca61
--- /dev/null
@@ -0,0 +1,13 @@
+validate:
+  image: ghcci/x86_64-linux-deb9:0.2
+  before_script:
+    - git clean -xdf
+    - sudo apt install -y time
+  script:
+    - make clean
+    - |
+      cabal update
+      cabal install regex-compat html
+    - make boot mode=fast
+    - "make mode=fast NoFibRuns=1 2>&1 | tee log"
+    - "nofib-analyse/nofib-analyse log"