Skip to content
Snippets Groups Projects

Perform `fast_done` first in `naive_solver`.

Passed
Robbert Krebbers created pipeline for commit f87c334f
, finished
1 related merge request: !80 Perform `fast_done` first in `naive_solver`.
8 jobs 8 minutes 33 seconds, queued for 1 seconds