Skip to content
Snippets Groups Projects
Unverified Commit 517229d4 authored by Eduardo Trujillo's avatar Eduardo Trujillo
Browse files

fix(travis): Use local builds rather than use docker

parent 363be9a1
Loading
......@@ -7,7 +7,7 @@ addons:
packages:
- libgmp-dev
before_install: bash contrib/travis/before-install.sh
script: stack test --no-terminal --install-ghc --copy-bins
script: stack test --no-terminal --install-ghc --copy-bins --no-docker
cache:
directories:
- "$HOME/.stack"
......
......@@ -9,7 +9,9 @@ export PATH=$HOME/.local/bin:$PATH
curl -L https://www.stackage.org/stack/linux-x86_64 \
| tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
stack docker pull
stack install hscolour
stack setup --no-docker
stack install hscolour --no-docker
docker login -e="." -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD" quay.io
mkdir dist
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment