travis ci: fix OS X build and link with GitLab CI
- uses Travis CI to execute the build, result is reported via Gitlab CI job
- the Gitlab CI job will not work for forks
TODO before merge
-
depends on !694 (merged) for safe removal of bootstrap-depends.sh -
Build pushed branchesin Travis CI Settings must be on (currently off to avoid spamming slack)
Closes #411 (closed)
Edited by Vladimír Čunát