"git@gitlab.onelab.info:lrp/gmsh.git" did not exist on "61910fd9ad935ddd4d8cf0ecf81a15eff667341e"
Merge branch 'revert-7cf1b5b1' into 'master'
Passed
Guillaume Demesy
created pipeline for commit
7114cb3e
, finished
For master
1 minute 48 seconds, queued for 1 seconds