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)).
Edited by Gaël Bonithon
See also !3 (merged) and !4 (merged).
Coming soon: a third MR to fix warnings from scan-build
(see !6 (merged)).