Skip to content
Snippets Groups Projects

Merge branch 'dev' into ubuntu20-gcc9

Passed
Rainer Kartmann created pipeline for commit b9890d61
, finished
1 related merge request: !174 Draft: Ubuntu 20 + GCC 9
latest branch
1 job 8 seconds, queued for 44 seconds