Skip to content
Snippets Groups Projects

uniformly 'ASSERT(false)'

Passed
Wuttke, Joachim created pipeline for commit 6e92da33
, finished
1 related merge request: !1319 GUI: copy editing while reading distribution mechanism
branch
4 jobs 8 minutes 23 seconds, queued for 3 seconds