Skip to content

Conversation

@FedeDP
Copy link
Collaborator

@FedeDP FedeDP commented Feb 7, 2024

No description provided.

@FedeDP
Copy link
Collaborator Author

FedeDP commented Feb 7, 2024

/cc @therealbobo

@poiana poiana added the size/XS label Feb 7, 2024
@poiana
Copy link

poiana commented Feb 7, 2024

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: FedeDP, therealbobo

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Details Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@poiana poiana merged commit 115ec18 into main Feb 7, 2024
@poiana poiana deleted the fix/build_buidlers branch February 7, 2024 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants