Skip to content

BM-848: Add top level metrics #587

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

Conversation

capossele
Copy link
Contributor

@capossele capossele commented Apr 30, 2025

This PR adds top level metrics for

  • IDs of requests that expired in [from, to)
  • IDs of requests that expired in [from, to) for a given client
  • Count of requests submitted in [from, to)
  • Total count of all submitted requests
  • Count of requests submitted in [from, to) from a specific client
  • Total submitted requests by a specific client
  • Count of fulfillments in [from, to)
  • Total count of all fulfillments
  • Count of fulfillments in [from, to) for a given client
  • Total fulfillments for a specific client
  • Count of fulfillments in [from, to) by a specific prover
  • Total fulfillments by a specific prover
  • Count of locked requests in [from, to) by a specific prover
  • Total locked requests by a specific prover
  • Count of slashed events in [from, to)
  • Total count of all slashed events
  • Count of slashed events in [from, to) by a specific prover
  • Total slashed events by a specific prover
  • Ratio of fulfilled ÷ locked requests in [from, to) for a prover
  • Overall fulfilled ÷ locked ratio for a prover
  • Ratio of fulfilled ÷ submitted requests in [from, to) for a client
  • Overall fulfilled ÷ submitted ratio for a client

TODO

  • Create lambdas for pushing metrics into Cloudwatch, maybe in a separate PR?

@github-actions github-actions bot changed the title Add top level metrics BM-847: Add top level metrics Apr 30, 2025
@github-actions github-actions bot changed the title BM-847: Add top level metrics BM-848: Add top level metrics Apr 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant