Fixes #144 also for the core
Passed
Janne Mareike Koschinski
created pipeline for commit
6bfb3446
, finished
For master
5 minutes 6 seconds, queued for 3 seconds