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

Increase initial meter cause we got too close #4220

Closed
wants to merge 1 commit into from

Conversation

erights
Copy link
Member

@erights erights commented Dec 28, 2021

While @warner and I were jointly debugging a #4217 failure (both CI and locally for both of us) we determined that the $50M initial meter budget was only just barely big enough, giving us little room to maneuver. #4217 was failing because it went just over the line. There seems to be little downside in making this much larger, so this PR doubles it (with a little extra to make it appear more unique), giving us back our needed headroom.

Fixes #4219

@erights erights requested a review from warner December 28, 2021 03:33
@erights erights self-assigned this Dec 28, 2021
@erights erights requested a review from FUDCo December 28, 2021 18:27
@erights
Copy link
Member Author

erights commented Dec 30, 2021

With #4225 merged, this PR is no longer relevant. Closing.

@erights erights closed this Dec 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

meter overrun (was: just a transcript we'd like to make easier to debug)
1 participant