Skip to content
Snippets Groups Projects

extract comments for witnesses as desc pragmas

Passed
Michael Leuschel created pipeline for commit ea1e6dd6
, finished
2 minutes 9 seconds, queued for 3 seconds