Merge branch '3425461-post-rector-report' into 'master-d11'
Failed
Gábor Hojtsy
created pipeline for commit
7c03f7de
, finished
6 minutes 56 seconds, queued for 17 seconds