From c229918437a10ab63f5fa514e40440828a90195b Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Thu, 20 Jun 2019 07:37:13 +0300 Subject: [PATCH] Remove unused Gitlab config --- .gitlab-ci.yml | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 .gitlab-ci.yml diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml deleted file mode 100644 index 9a45da61..00000000 --- a/.gitlab-ci.yml +++ /dev/null @@ -1,15 +0,0 @@ -image: fpco/stack-build:lts-12.8 - -cache: - paths: - - $HOME/.stack - - $HOME/.stackage/curator/cache - -stages: - - build - -build: - stage: build - script: - # Edit etc/ci-script.sh to change GHC version - - ./etc/ci-script.sh