Skip to content

[0.2] Add a file for GitLab CI

Nicola Spanti requested to merge topic/0.2/0.2_gitlab-ci into branch/0.2

It is grafted from 0.1.

Merge request reports