Comments.
Passed
Robbert Krebbers
created pipeline for commit
8bfd5a08
, finished
Related merge request !417 to merge robbert/set_fold_union
2 minutes 49 seconds, queued for 2 seconds