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

Fixup some metrics bugs with push metrics #39927

Merged
merged 1 commit into from
Aug 4, 2022
Merged

Conversation

eseliger
Copy link
Member

@eseliger eseliger commented Aug 4, 2022

Test plan

Roll out test image to k8s and validate.

@cla-bot cla-bot bot added the cla-signed label Aug 4, 2022
@sourcegraph-bot
Copy link
Contributor

Codenotify: Notifying subscribers in CODENOTIFY files for diff 3b97f54...7cdc99d.

Notify File(s)
@bobheadxi monitoring/definitions/shared/codeintel.go
@efritz enterprise/cmd/executor/internal/metrics/metrics.go
@slimsag monitoring/definitions/shared/codeintel.go
@sourcegraph/delivery doc/admin/observability/alerts.md
doc/admin/observability/dashboards.md
monitoring/definitions/shared/codeintel.go

@eseliger eseliger enabled auto-merge (squash) August 4, 2022 11:38
@eseliger eseliger merged commit d808503 into main Aug 4, 2022
@eseliger eseliger deleted the es/fix-some-push-metrics branch August 4, 2022 11:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants