Skip to content

Conversation

@razvan razvan requested a review from a team September 29, 2022 15:30
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 Sep 30, 2022

bors merge

@bors
Copy link
Contributor

bors bot commented Sep 30, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title document resource limits [Merged by Bors] - document resource limits Sep 30, 2022
@bors bors bot closed this Sep 30, 2022
@bors bors bot deleted the document-resource-limits branch September 30, 2022 11:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants