Apply 1 suggestion(s) to 1 file(s)
Passed
Robbert Krebbers
created pipeline for commit
186412a7
, finished
Related merge request !306 to merge robbert/singleton_subseteq
5 minutes 1 second, queued for 2 seconds