- 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 branches
in Travis CI Settings must be on (currently off to avoid spamming slack)
Closes #411 (closed)