Skip to content

Commit

Permalink
fix: fix metrics reporting wrong values (#2065)
Browse files Browse the repository at this point in the history
## What ❔

Emit correct values for metric

## Why ❔



## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.
- [x] Spellcheck has been run via `zk spellcheck`.
  • Loading branch information
Artemka374 authored May 28, 2024
1 parent be3ded9 commit 2ec010a
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@ fn emit_metrics_for_round(round: AggregationRound, stats: JobCountStatistics) {
format!("{:?}", round),
ProtocolVersionId::current_prover_version().to_string(),
)]
.set(stats.queued as u64);
.set(stats.in_progress as u64);
}

#[async_trait]
Expand Down

0 comments on commit 2ec010a

Please sign in to comment.