Skip to content
Snippets Groups Projects

Fix ubuntu build in github-ci, 2nd attempt.

Failed
Albert Gräf created pipeline for commit 4088d7fd
, finished
1 related merge request: !855 Fix ubuntu build in github-ci, 2nd attempt.
6 jobs