max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(.appveyor.yml,.travis.yml): invoke ctest with --output-on-failure

Browse source
This commit is contained in:
Sebastian Ullrich 2017-03-26 18:08:31 +02:00 • committed by Leonardo de Moura
parent 55425e7b1f
commit 8fb1a28604
4 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.appveyor.yml
View file

@ -11,7 +11,7 @@ build_script:
- C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ninja && cpack"
test_script:
- C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4"
- C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
artifacts:
- path: build\lean-3.1.1-windows.zip

2
.appveyor.yml.in
View file

@ -11,7 +11,7 @@ build_script:
- C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ninja && cpack"
test_script:
- C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4"
- C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
artifacts:
- path: build\lean-@LEAN_VERSION_MAJOR@.@LEAN_VERSION_MINOR@.@LEAN_VERSION_PATCH@-windows.zip

4
.travis.yml
View file

@ -112,9 +112,9 @@ script:
- cpack
# TODO(gabriel): add smaller test subset for debug and emscripten builds
- if [[ $CMAKE_BUILD_TYPE == Release ]]; then
yes "A" | ctest -j2;
yes "A" | ctest -j2 --output-on-failure;
else
yes "A" | ctest -j2 -I 100,600,10;
yes "A" | ctest -j2 -I 100,600,10 --output-on-failure;
fi
- if [[ $PACKAGE == TRUE ]]; then make package; fi
- cd ..

4
.travis.yml.in
View file

@ -112,9 +112,9 @@ script:
- cpack
# TODO(gabriel): add smaller test subset for debug and emscripten builds
- if [[ $CMAKE_BUILD_TYPE == Release ]]; then
yes "A" | ctest -j2;
yes "A" | ctest -j2 --output-on-failure;
else
yes "A" | ctest -j2 -I 100,600,10;
yes "A" | ctest -j2 -I 100,600,10 --output-on-failure;
fi
- if [[ $PACKAGE == TRUE ]]; then make package; fi
- cd ..