Apply 1 suggestion(s) to 1 file(s)
Passed
Robbert Krebbers
created pipeline for commit
4f656cac
, finished
Related merge request !417 to merge robbert/set_fold_union
5 minutes 25 seconds, queued for 4 seconds