Skip to content
Snippets Groups Projects

Use Gaudi v39r3 by default

Passed
Marco Clemencic created pipeline for commit c6ceb72b
, finished
1 related merge request: !1325 Set default version of Gaudi to v39r3
8 jobs 44 seconds, queued for 2 seconds