Skip to content

Conversation

@espressif-bot
Copy link
Collaborator

This PR syncs the GitLab branch article/tinyexpr_component 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 17, 2025
@espressif-bot espressif-bot force-pushed the article/tinyexpr_component branch from 183cc2f to 84db063 Compare October 20, 2025 11:34
@f-hollow f-hollow merged commit 9e778ef into main Oct 20, 2025
7 checks passed
@f-hollow f-hollow deleted the article/tinyexpr_component branch October 20, 2025 11:48
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.

5 participants