Skip to content

Add GitLab CI configuration

Ondřej Surý requested to merge gitlab-ci into master

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

Merge request reports