Skip to content
Snippets Groups Projects

Apply 1 suggestion(s) to 1 file(s)

Passed
Robbert Krebbers created pipeline for commit d9536702
, finished
Related merge request !267 to merge robbert/set_fold_disj_union_strong
4 minutes 56 seconds, queued for 3 seconds