git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3873 from melted/ci_upgrade
4903cb7Niklas Larsson
.travis.yml+4−1
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1+dist: trusty
1sudo: false
2sudo: false
2
3
3language: c
4language: c
@@ -153,7 +154,9 @@ script:
153 - echo -en 'travis_fold:end:script.tests\\r'
154 - echo -en 'travis_fold:end:script.tests\\r'
154###
155###
155 - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
156 - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
157+ - if [[ "$TESTS" == "test_c" ]]; then
156− - cd benchmarks && ./build.pl && ./run.pl && cd ..
158+ cd benchmarks && ./build.pl && ./run.pl && cd ..;
159+ fi
157 - echo -en 'travis_fold:end:script.benchmarks\\r'
160 - echo -en 'travis_fold:end:script.benchmarks\\r'
158###
161###
159# EOF
162# EOF
appveyor.yml+1−1
@@ -1,7 +1,7 @@
1version: 1.0.{build}
1version: 1.0.{build}
2init:
2init:
3- ps: >-
3- ps: >-
4− choco install cabal
4+ choco install cabal --no-progress
5
5
6 mkdir C:\ghc
6 mkdir C:\ghc
7
7