| .. |
|
travis_linux_after_success.sh
|
7b2577323c
Testing docker build
|
7 years ago |
|
travis_linux_before_install.sh
|
7b2577323c
Testing docker build
|
7 years ago |
|
travis_linux_script.sh
|
d73fefd66b
Disable docker ps check
|
7 years ago |
|
travis_osx_before_install.sh
|
084bda7847
use graphviz to generate figures in documentation
|
8 years ago |
|
travis_osx_script.sh
|
e9b403445d
Enable travis OS X build (#984)
|
7 years ago |
|
travis_push_coverity.sh
|
af362f0a2a
push 0.2 to coverity_scan without forcing
|
7 years ago |
|
travis_push_doc.sh
|
fbfd7e14d6
fix: mkdir command failed during push_docs
|
7 years ago |
|
travis_push_release.sh
|
a092e67f93
improve travis scripts
|
7 years ago |
Stefan Profanter
d73fefd66b
Disable docker ps check