Tests for obligatory properties
Passed
Timm Fitschen
created pipeline for commit 3819463a
, finished
1 related merge request: !9 Tests for obligatory properties
28 minutes 38 seconds, queued for 2 seconds