Improve Travis CI folding (#10473)

This commit is contained in:
Federico Ceratto 2019-01-28 16:33:35 +00:00 • committed by Andreas Rumpf
commit aa0a9dd78c
3 changed files with 13 additions and 6 deletions

View file

@ -45,7 +45,9 @@ before_script:
- set +e # prevents breaking after_failure
script:
- echo "travis_fold:start:nim_c_koch"
- nim c koch
- echo "travis_fold:end:nim_c_koch"
- ./koch runCI
before_deploy: