Temporarily removed .gitlabci.yaml

.gitlab-ci.yml

-# 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