Merge branch 'publish-oop' into 'dev'
Passed
Richter, Manuela
created pipeline for commit
ed0e2fea
, finished
1 related merge request: !15 Dev into main
1 minute 3 seconds, queued for 19 seconds