Skip to content

Add metrics about the solver-service behaviour#70

Open
moyodiallo wants to merge 5 commits into
ocurrent:mainfrom
moyodiallo:metrics
Open

Add metrics about the solver-service behaviour#70
moyodiallo wants to merge 5 commits into
ocurrent:mainfrom
moyodiallo:metrics

Add the total time spent finding solutions.

c790a40
Select commit
Loading
Failed to load commit list.
deploy.ci.dev / deployability failed Mar 31, 2026 in 0s

Failure

Failed: Build failed

View more details on deploy.ci.dev