diff --git a/.travis.yml b/.travis.yml index 1a63f63..299e43a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,17 +8,20 @@ branches: - "/^release-.*/" git: submodules: false + env: global: - - BIN=fix-agda-whitespace + - BIN=fix-whitespace matrix: - GHC_VER=8.6.5 - GHC_VER=8.4.4 - GHC_VER=8.2.2 - GHC_VER=8.0.2 + cache: directories: - "$HOME/.stack" + before_install: - sudo -E apt-add-repository -y "ppa:hvr/ghc" - travis_apt_get_update @@ -30,16 +33,20 @@ before_install: - export ARGS="--stack-yaml stack-${GHC_VER}.yaml --no-terminal --system-ghc" - echo "*** GHC version ***" && ghc --version && echo "*** Stack version ***" && stack --version + install: - stack build ${ARGS} --only-dependencies - stack build ${ARGS} + script: - stack exec ${ARGS} -- ${BIN} --check + before_deploy: - rm *.lock - stack install ${ARGS} --local-bin-path . - strip ${BIN} - gzip ${BIN} + deploy: provider: releases skip_cleanup: true diff --git a/stack-8.6.5.yaml b/stack-8.6.5.yaml index eba7deb..fbf521d 100644 --- a/stack-8.6.5.yaml +++ b/stack-8.6.5.yaml @@ -1,4 +1,4 @@ -resolver: lts-14.6 +resolver: lts-14.9 packages: - .