@@ -1,21 +0,0 @@
1−# Disable Docker stuff to try to make it faster
2−sudo: true
3−dist: bionic
4−
5−# Choose a lightweight base image; we provide our own build tools.
6−language: generic
7−
8−# GHC depends on GMP. You can add other dependencies here as well.
9−addons:
10− apt:
11− packages:
12− - libgmp-dev
13−
14−# Edit etc/ci-script.sh to change GHC version
15−script:
16−- ./etc/check.sh
17−
18−cache:
19− directories:
20− - $HOME/.stack
21− - $HOME/.stackage/curator/cache