@@ -1,5 +1,5 @@
1−# Use new container infrastructure to enable caching
1+# Disable Docker stuff to try to make it faster
2−sudo: false
2+sudo: true
4# Choose a lightweight base image; we provide our own build tools.
4# Choose a lightweight base image; we provide our own build tools.
5language: generic
5language: generic
@@ -14,7 +14,8 @@ addons:
15- ./etc/ci-script.sh
15- ./etc/ci-script.sh
17+# Caching doesn't work with sudo: true
18− directories:
19+# directories:
19− - $HOME/.stack
20+# - $HOME/.stack
20− - $HOME/.stackage/curator/cache
21+# - $HOME/.stackage/curator/cache