Skip to content

Conversation

@espressif-bot
Copy link
Collaborator

This PR syncs the GitLab branch eh1 to GitHub.

The changes have been reviewed internally.

Warning

If, for any reason, changes need be committed directly to the GitHub PR (bypassing GitLab), add the label `GitHub-Edit` in the GitLab MR. This will disable GitLab CI sync-merge to prevent overwriting changes on GitHub.

@espressif-bot espressif-bot added the GitLab-Sync-Merge Contribution reviewed and synced from the internal GitLab mirror label Oct 30, 2025
@pedrominatel pedrominatel merged commit c54562c into main Oct 30, 2025
7 checks passed
@pedrominatel pedrominatel deleted the eh1 branch October 30, 2025 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

GitLab-Sync-Merge Contribution reviewed and synced from the internal GitLab mirror

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants