Skip to content
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

fix(prometheus): set wal_write_time and wal_sync_time as float64 #2569

Merged
merged 1 commit into from
Aug 11, 2023

Conversation

gbartolini
Copy link
Contributor

@gbartolini gbartolini commented Aug 11, 2023

Closes #2546

Closes #2546

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@github-actions
Copy link
Contributor

Build Error! No Linked Issue found. Please link an issue or mention it in the body using #<issue_id>

@github-actions github-actions bot added backport-requested ◀️ This pull request should be backported to all supported releases release-1.19 release-1.20 labels Aug 11, 2023
@github-actions
Copy link
Contributor

❗ By default, the pull request is configured to backport to all release branches.

  • To stop backporting this pr, remove the label: backport-requested ◀️ or add the label 'do not backport'
  • To stop backporting this pr to a certain release branch, remove the specific branch label: release-x.y

@sxd sxd added the ok to merge 👌 This PR can be merged label Aug 11, 2023
@github-actions
Copy link
Contributor

Build Error! No Linked Issue found. Please link an issue or mention it in the body using #<issue_id>

@gbartolini gbartolini merged commit d73d508 into main Aug 11, 2023
25 of 28 checks passed
@gbartolini gbartolini deleted the dev/2546 branch August 11, 2023 14:36
cnpg-bot pushed a commit that referenced this pull request Aug 11, 2023
Closes #2546

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
(cherry picked from commit d73d508)
cnpg-bot pushed a commit that referenced this pull request Aug 11, 2023
Closes #2546

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
(cherry picked from commit d73d508)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-requested ◀️ This pull request should be backported to all supported releases ok to merge 👌 This PR can be merged release-1.19 release-1.20
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Metric scraping error
3 participants