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 cb4420d
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
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
2 changes: 1 addition & 1 deletion crates/autopilot/src/domain/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ pub struct Metrics {
/// How many times the solver marked as non-settling based on the database
/// statistics.
#[metric(labels("solver", "reason"))]
pub banned_solver: prometheus::IntCounterVec,
pub banned_solver: prometheus::IntGaugeVec,
}

impl Metrics {
Expand Down

0 comments on commit cb4420d

Please sign in to comment.