Skip to content
Snippets Groups Projects

- added minimality test for diagnoses

Passed
Wolfgang Schmid created pipeline for commit af7256f5
, finished
1 related merge request: !54 WIP: Resolve "Implementation of MergeXPlain and Progression"
1 job 36 minutes 18 seconds, queued for 0 seconds