git.iko.soy/Idris-dev
on master help sign in
Add folds in Travis CI's log
f82e7f6gpyh
.travis.yml+23
compare with master
unifiedsplit
@@ -100,15 +100,38 @@ before_script:
100 - tar -xf Idris-dev/dist/idris*.tar.gz
100 - tar -xf Idris-dev/dist/idris*.tar.gz
101 - cd idris*
101 - cd idris*
102script:
102script:
103+###
104+ - echo 'Configure...' && echo -en 'travis_fold:start:script.configure\\r'
103 - cabal configure -f FFI -f CI
105 - cabal configure -f FFI -f CI
106+ - echo -en 'travis_fold:end:script.configure\\r'
107+###
108+ - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
104 - cabal build
109 - cabal build
110+ - echo -en 'travis_fold:end:script.build\\r'
111+###
112+ - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
105 - cabal copy
113 - cabal copy
114+ - echo -en 'travis_fold:end:script.copy\\r'
115+###
116+ - echo 'Register...' && echo -en 'travis_fold:start:script.register\\r'
106 - cabal register
117 - cabal register
118+ - echo -en 'travis_fold:end:script.register\\r'
119+###
120+ - echo 'Cppcheck...' && echo -en 'travis_fold:start:script.cppcheck\\r'
107 - if [[ "$TESTS" == "test_c" ]]; then
121 - if [[ "$TESTS" == "test_c" ]]; then
108 cppcheck -i 'mini-gmp.c' rts;
122 cppcheck -i 'mini-gmp.c' rts;
109 fi
123 fi
124+ - echo -en 'travis_fold:end:script.cppcheck\\r'
125+###
126+ - echo 'Tests...' && echo -en 'travis_fold:start:script.tests\\r'
110 - for test in $TESTS; do
127 - for test in $TESTS; do
111 echo "make -j2 $test";
128 echo "make -j2 $test";
112 make -j2 $test;
129 make -j2 $test;
113 done
130 done
131+ - echo -en 'travis_fold:end:script.tests\\r'
132+###
133+ - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
114 - cd benchmarks && ./build.pl && ./run.pl && cd ..
134 - cd benchmarks && ./build.pl && ./run.pl && cd ..
135+ - echo -en 'travis_fold:end:script.benchmarks\\r'
136+###
137+#