Skip to content
Snippets Groups Projects

Ref updates needed for gaudi/Gaudi!1426

Passed
Marco Clemencic created pipeline for commit d53d8531
, finished
Related merge request !3978 to merge ref-update-for-gaudi-1426
merge request
5 jobs 30 seconds, queued for 5 seconds