Remove unused Gitlab config
commitc229918437a10ab63f5fa514e40440828a90195b
authorMichael Snoyman <michael@snoyman.com>
dateThu 20 Jun 2019, 07:37 (7 years ago)
parentb1f1b1d
.gitlab-ci.ymldeleted−15
@@ -1,15 +0,0 @@
1−image: fpco/stack-build:lts-12.8
2−
3−cache:
4− paths:
5− - $HOME/.stack
6− - $HOME/.stackage/curator/cache
7−
8−stages:
9− - build
10−
11−build:
12− stage: build
13− script:
14− # Edit etc/ci-script.sh to change GHC version
15− - ./etc/ci-script.sh