Skip to content
Snippets Groups Projects

updated for gitlab-research and new repository names

Passed
Dominique Marcadet created pipeline for commit 87636c1c
, finished
1 related merge request: !45 Resolve "update to move to new gitlab server and new repository name"
2 jobs 7 seconds, queued for 3 seconds