3 Commits

Author SHA1 Message Date
eb0ddfcf2b Fix travis build, part 4 (refs #376)
Now, a push is a push
2017-05-20 10:43:14 +02:00
120c7cc1ff Fix travis build, add more info during build (refs #376) 2017-05-20 10:30:57 +02:00
adced2dd26 Restructure travis build scripts, so that we have 3 steps, that can
run in parallel:
* build-deploy.sh
* build-site.sh
* build-sonar.sh
2017-05-15 21:11:43 +02:00