This adds configuration for running build and integrations tests in the Gitlab CI, possibly replacing Travis CI in a long run.
This adds configuration for running build and integrations tests in the Gitlab CI, possibly replacing Travis CI in a long run.