Pipeline #194116 failed
Pipeline failed for 1496d4c0 on fix/predicates 1 month ago
Pipeline #194117 passed
Pipeline passed for 23d23292 on master 1 month ago
mentioned in commit 23d23292
merged