Skip to content
This repository was archived by the owner on May 30, 2024. It is now read-only.

Conversation

@noahingh
Copy link
Member

Add a new metric lead_time_metric

@noahingh noahingh added component: server This issue or pull request is related to the feature of the server-side schema-migration This pull request has a schema-migration labels Oct 16, 2021
@noahingh noahingh added this to the v0.2 milestone Oct 16, 2021
@noahingh noahingh linked an issue Oct 16, 2021 that may be closed by this pull request
3 tasks
@noahingh noahingh merged commit 1e3bba2 into main Oct 16, 2021
@noahingh noahingh deleted the lead-time-count branch October 16, 2021 09:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

component: server This issue or pull request is related to the feature of the server-side schema-migration This pull request has a schema-migration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add metrics of deployment for DevOps

2 participants