Skip to content

CI: add a GitLab CI file.

Niels De Graef requested to merge wip/nielsdg/add-gitlab-ci into master

This allows us to check on each commit/MR/... whether everything still builds and all tests still pass.

Merge request reports