Skip to content

Commit

Permalink
[TRIVIAL] Fix banned solvers metric
Browse files Browse the repository at this point in the history
  • Loading branch information
squadgazzz committed Feb 27, 2025
1 parent 7d31849 commit f8f0cc4
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -160,7 +160,8 @@ impl SolverValidator {
.map(|driver| {
Metrics::get()
.banned_solver
.with_label_values(&[driver.name.as_ref(), ban_reason.as_str()]);
.with_label_values(&[driver.name.as_ref(), ban_reason.as_str()])
.inc();
// Check if solver accepted this feature. This should be removed once the
// CIP making this mandatory has been approved.
if driver.requested_timeout_on_problems {
Expand Down

0 comments on commit f8f0cc4

Please sign in to comment.