Apply 1 suggestion(s) to 1 file(s)
Passed
Robbert Krebbers
created pipeline for commit
b9d3f6c4
, finished
Related merge request !460 to merge robbert/set_solver_Forall_Exists
4 minutes 16 seconds, queued for 4 seconds