Final fixes:
Passed
Frederik Hennig
created pipeline for commit
69504a34
, finished
1 related merge request: !374 Uniqueness of Data Type Instances
1 minute 2 seconds, queued for 3 seconds