| .. |
|
travis_linux_after_success.sh
|
f7ef0bb16e
Additionally simplify decision if after success should be executed
|
5 years ago |
|
travis_linux_before_install.sh
|
16f6bf05bd
CI: Check for empty LOCAL_PKG to avoid running `rm -rf /`
|
5 years ago |
|
travis_linux_script.sh
|
66d2654c6e
Add debian packaging configuration
|
5 years ago |
|
travis_osx_before_install.sh
|
7064b7315e
CI: Fix valgrind installation on newer MacOS X
|
5 years ago |
|
travis_osx_script.sh
|
e8499689e2
CI: Use make install to collect release files
|
5 years ago |
|
travis_push_coverity.sh
|
501beb0514
Make doc push more flexible and valid for all branches
|
6 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
66d2654c6e
Add debian packaging configuration