Skip to content

CI: use common repository

Romain Dartigues requested to merge dev into master

Develop and use romain-dartigues/gitlab-ci>.

Edited by Romain Dartigues

Merge request reports