Pipeline #59065 passed
Pipeline passed for 82a3c0c5 on update 2 months ago
Pipeline #59911 failed
Pipeline failed for 80dba83d on master 2 days ago
assigned to @jpudil
mentioned in commit 80dba83d
merged