Skip to content

common: common ping w/ backoff, use in aggregator/verifier/indexer#507

Merged
makramkd merged 2 commits intomainfrom
mk/ping-db
Dec 30, 2025
Merged

common: common ping w/ backoff, use in aggregator/verifier/indexer#507
makramkd merged 2 commits intomainfrom
mk/ping-db

Conversation

@makramkd
Copy link
Collaborator

@makramkd makramkd commented Dec 30, 2025 •
edited
Loading

  • Add a common helper method to ping a database w/ retries
  • Use it in indexer, aggregator and verifier's main.go

@makramkd makramkd marked this pull request as ready for review December 30, 2025 18:12
@makramkd makramkd requested review from a team and skudasov as code owners December 30, 2025 18:12
@makramkd makramkd enabled auto-merge December 30, 2025 18:16
@makramkd makramkd added this pull request to the merge queue Dec 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 30, 2025
@makramkd makramkd added this pull request to the merge queue Dec 30, 2025
Merged via the queue into main with commit 74e8951 Dec 30, 2025
15 checks passed
@makramkd makramkd deleted the mk/ping-db branch December 30, 2025 18:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@carte7000 carte7000 carte7000 approved these changes

@skudasov skudasov Awaiting requested review from skudasov skudasov is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@makramkd @carte7000