Add basic GitLab pipeline
See also !3 (merged) and !4 (merged).
Coming soon: a third MR to fix warnings from scan-build
(see !6 (merged)).
See also !3 (merged) and !4 (merged).
Coming soon: a third MR to fix warnings from scan-build
(see !6 (merged)).