Merge pull request #2223 from purescript/2181
Combine the sdist and coverage builds. Avoid .tix files during deployment.
commit897733d0aeb0d062bd98cbde22427342fa3eeb68
authorPhil Freeman <paf31@cantab.net>
dateSun 10 Jul 2016, 18:16 (10 years ago)
parent5452688bc0d52f
.travis.yml+2−2
@@ -12,7 +12,7 @@ matrix:
1212 os: linux
1313 dist: trusty
1414 sudo: required
15− env: BUILD_TYPE=normal COVERAGE=true DEPLOY=true
15+ env: BUILD_TYPE=normal DEPLOY=true
1616
1717 # - compiler: cc-linux-nightly-normal
1818 # os: linux
@@ -31,7 +31,7 @@ matrix:
3131 os: linux
3232 dist: trusty
3333 sudo: required
34− env: BUILD_TYPE=sdist
34+ env: BUILD_TYPE=sdist COVERAGE=true
3535
3636 - compiler: cc-linux-lts-haddock
3737 os: linux