Skip to content

[baseserver] Track metrics for HTTP requests automatically #13040

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

Merged
merged 1 commit into from
Sep 20, 2022

Conversation

easyCZ
Copy link
Member

@easyCZ easyCZ commented Sep 16, 2022

Description

We've got automatic gRPC metric tracking on base-server, but for HTTP requests we've had nothing. This PR adds metrics for HTTP requests on baseserver.

This is needed to progress #13034 and ensure we can track failed Invoice Finalization webhooks going through public-api.

Ran leeway run components:update-go-modules to propagate it into dependencies

Related Issue(s)

How to test

Release Notes

NONE

Documentation

Werft options:

  • /werft with-preview

@easyCZ easyCZ requested review from a team September 16, 2022 13:06
@github-actions github-actions bot added team: webapp Issue belongs to the WebApp team team: workspace Issue belongs to the Workspace team labels Sep 16, 2022
@easyCZ easyCZ force-pushed the mp/baseserver-http-metrics branch from e4adfc5 to b9abb57 Compare September 16, 2022 13:07
@easyCZ
Copy link
Member Author

easyCZ commented Sep 16, 2022

/werft run

👍 started the job as gitpod-build-mp-baseserver-http-metrics.3
(with .werft/ from main)

@easyCZ easyCZ force-pushed the mp/baseserver-http-metrics branch from b9abb57 to e0ecbe8 Compare September 16, 2022 13:17
@easyCZ easyCZ requested a review from a team September 16, 2022 13:17
@easyCZ easyCZ force-pushed the mp/baseserver-http-metrics branch from e0ecbe8 to 1aecf45 Compare September 16, 2022 13:22
@easyCZ easyCZ requested a review from a team September 16, 2022 13:22
@github-actions github-actions bot added the team: delivery Issue belongs to the self-hosted team label Sep 16, 2022
@easyCZ
Copy link
Member Author

easyCZ commented Sep 16, 2022

/werft run

👍 started the job as gitpod-build-mp-baseserver-http-metrics.6
(with .werft/ from main)

Copy link
Contributor

@iQQBot iQQBot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@easyCZ
Copy link
Member Author

easyCZ commented Sep 19, 2022

/werft run

👍 started the job as gitpod-build-mp-baseserver-http-metrics.8
(with .werft/ from main)

@easyCZ easyCZ force-pushed the mp/baseserver-http-metrics branch 2 times, most recently from 9d856d0 to 670a0b9 Compare September 19, 2022 10:31
@easyCZ
Copy link
Member Author

easyCZ commented Sep 19, 2022

/werft run

👍 started the job as gitpod-build-mp-baseserver-http-metrics.11
(with .werft/ from main)

@easyCZ easyCZ force-pushed the mp/baseserver-http-metrics branch from 853f9cd to 276ae9d Compare September 20, 2022 06:54
@roboquat roboquat merged commit 6f461f5 into main Sep 20, 2022
@roboquat roboquat deleted the mp/baseserver-http-metrics branch September 20, 2022 07:05
@roboquat roboquat added deployed: webapp Meta team change is running in production deployed: IDE IDE change is running in production labels Sep 20, 2022
@roboquat roboquat added the deployed: workspace Workspace team change is running in production label Sep 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: IDE IDE change is running in production deployed: webapp Meta team change is running in production deployed: workspace Workspace team change is running in production release-note-none size/L team: delivery Issue belongs to the self-hosted team team: IDE team: webapp Issue belongs to the WebApp team team: workspace Issue belongs to the Workspace team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants