Remove unused Gitlab config

This commit is contained in:
Michael Snoyman 2019-06-20 07:37:13 +03:00
parent b1f1b1d8c4
commit c229918437
No known key found for this signature in database
GPG Key ID: A048E8C057E86876

View File

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