git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3873 from melted/ci_upgrade

Run travis under trusty

commit4903cb784d50a648f0e7a3b682d02cf0a9bb5346 authorNiklas Larsson <metaniklas@gmail.com> dateWed 21 Jun 2017, 00:29 (9 years ago) parent1d9ff1367b891e
2 files changed+5−2
compare with master
unifiedsplit
.travis.yml+4−1 appveyor.yml+1−1
.travis.yml+4−1
@@ -1,3 +1,4 @@
1+dist: trusty
12sudo: false
23
34language: c
@@ -153,7 +154,9 @@ script:
153154 - echo -en 'travis_fold:end:script.tests\\r'
154155###
155156 - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
156− - cd benchmarks && ./build.pl && ./run.pl && cd ..
157+ - if [[ "$TESTS" == "test_c" ]]; then
158+ cd benchmarks && ./build.pl && ./run.pl && cd ..;
159+ fi
157160 - echo -en 'travis_fold:end:script.benchmarks\\r'
158161###
159162# EOF
appveyor.yml+1−1
@@ -1,7 +1,7 @@
11version: 1.0.{build}
22init:
33- ps: >-
4− choco install cabal
4+ choco install cabal --no-progress
55
66 mkdir C:\ghc
77