Merge branch 'ci/robbert/naive_solver' into 'master'

Perform `fast_done` first in `naive_solver`.

See merge request !80
8 jobs for master in 9 minutes and 3 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #35485
fp
build-coq.8.10.dev

00:07:50

passed #35491
fp
build-coq.8.7.2

00:02:54

passed #35490
fp-timing
build-coq.8.8.0

00:02:40

passed #35489
fp
build-coq.8.8.1

00:02:47

passed #35488
fp
build-coq.8.8.2

00:02:52

passed #35487
fp-timing
build-coq.8.9.0

00:03:18

passed #35486
fp
build-coq.8.9.1

00:03:22

passed #35484
fp
build-coq.dev

00:08:30