| .. |
|
travis_linux_after_success.sh
|
b4c8443fa9
CI: Remove coverity since it does not integrate well.
|
5 years ago |
|
travis_linux_before_install.sh
|
16f6bf05bd
CI: Check for empty LOCAL_PKG to avoid running `rm -rf /`
|
6 years ago |
|
travis_linux_script.sh
|
3fe7ecc9fa
CI: Add codecov.io
|
5 years ago |
|
travis_osx_before_install.sh
|
7064b7315e
CI: Fix valgrind installation on newer MacOS X
|
6 years ago |
|
travis_osx_script.sh
|
17e5f6cba4
CI: Sort CMake options alphabetically
|
5 years ago |
|
travis_push_doc.sh
|
bc06700953
Fix latex doc path
|
6 years ago |
|
travis_push_release.sh
|
66d2654c6e
Add debian packaging configuration
|
5 years ago |
Stefan Profanter
3fe7ecc9fa
CI: Add codecov.io