| .. |
|
travis_linux_after_success.sh
|
e9925b23bc
push docs on master; 0.2 release has a separate docs folder
|
7 anni fa |
|
travis_linux_before_install.sh
|
7b2577323c
Testing docker build
|
7 anni fa |
|
travis_linux_script.sh
|
204cd85b5d
Fix travis not erroing on build fail
|
7 anni fa |
|
travis_osx_before_install.sh
|
084bda7847
use graphviz to generate figures in documentation
|
8 anni fa |
|
travis_osx_script.sh
|
63c027b03e
Merge branch '0.2' into merge_02_timing
|
7 anni fa |
|
travis_push_coverity.sh
|
af362f0a2a
push 0.2 to coverity_scan without forcing
|
8 anni fa |
|
travis_push_doc.sh
|
02746b7625
do not push in PR from forks
|
7 anni fa |
|
travis_push_release.sh
|
02746b7625
do not push in PR from forks
|
7 anni fa |
Julius Pfrommer
63c027b03e
Merge branch '0.2' into merge_02_timing