Skip to content

Conversation

@panquez
Copy link
Member

@panquez panquez commented Nov 19, 2025

…nt_facets

@github-actions github-actions bot changed the base branch from master to next November 19, 2025 16:18
@BotellaA BotellaA merged commit 32c5831 into next Nov 19, 2025
19 checks passed
@BotellaA BotellaA deleted the fix/log-tet-edge-incident-facets branch November 19, 2025 17:36
@BotellaA
Copy link
Member

🎉 This PR is included in version 15.30.3-rc.1 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@BotellaA
Copy link
Member

🎉 This PR is included in version 15.30.3 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

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.

3 participants