Skip to content

Conversation

@razvan
Copy link
Member

@razvan razvan commented Sep 29, 2022

@razvan razvan requested a review from a team September 29, 2022 15:04
Copy link
Member

@maltesander maltesander left a comment

Choose a reason for hiding this comment

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

LGTM.

@razvan
Copy link
Member Author

razvan commented Oct 4, 2022

bors merge

@bors
Copy link
Contributor

bors bot commented Oct 4, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title document resource limits [Merged by Bors] - document resource limits Oct 4, 2022
@bors bors bot closed this Oct 4, 2022
@bors bors bot deleted the document-resource-limits branch October 4, 2022 06:59
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.

3 participants