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 minutes 33 seconds, queued for 1 seconds