Skip to content
Snippets Groups Projects

Perform `fast_done` first in `naive_solver`.

Merged Robbert Krebbers requested to merge ci/robbert/naive_solver into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:08:33

avatar
Download artifacts

No artifacts found

Loading