From f43833d35aed8f38ca723008c6cdb0846c60b1c9 Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Sat, 10 Mar 2018 18:54:54 +0100
Subject: [PATCH] Temporarily removed .gitlabci.yaml

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index f15c463..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-# Do not choose a language; we provide our own build tools.
-# language: generic
-
-# Caching so the next build will be fast too.
-cache:
-  paths:
-  - $HOME/.stack
-  - $HOME/.stack-work
-
-before_script:
-  # Install system libraries
-  - apt-get update -qq && apt-get install -y -qq libgmp-dev libz3-dev z3
-  # Download and unpack the stack executable
-  - mkdir -p ~/.local/bin
-  - export PATH=$HOME/.local/bin:$PATH
-  - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
-
-test:
-  script:
-    # Build dependencies
-    - stack --no-terminal --install-ghc test --only-dependencies
-    # Build the package, its tests, and its docs and run the tests
-    - stack --no-terminal test --haddock --no-haddock-deps
-- 
GitLab