new line
Passed
Robbert Krebbers
created pipeline for commit
ffb2184e
, finished
Related merge request !572 to merge paolo/qed-decision
2 minutes 53 seconds, queued for 3 seconds