Add metrics about the solver-service behaviour#70

Open

moyodiallo wants to merge 5 commits intoocurrent:mainfrom moyodiallo:metrics

+87-9

Commits on Oct 2, 2023

Add metrics on the internal-workers
moyodiallo
committed

Commits on Oct 9, 2023

Update from Thomas's comment
moyodiallo
committed

Commits on Oct 18, 2023

Update service/solver.ml

moyodiallo
and
mtelvers
authored

Commits on Oct 25, 2023

Refactoring, fixing the number of waiting requests
moyodiallo
committed

Commits on Nov 13, 2023

Add the total time spent finding solutions.
moyodiallo
committed