- 10 Jul, 2019 1 commit
-
-
Luca Boccassi authored
Solution: set -e in ci_build.sh like in other scripts
-
- 20 Jan, 2019 1 commit
-
-
Luca Boccassi authored
Solution: automate it on Travis
-
Solution: set -e in ci_build.sh like in other scripts
Solution: automate it on Travis