Skip to content

Add GitLab CI.

Closes #3441443

Merge request reports