Skip to content

chore: back-merge main into develop - #186

Merged
MarTrepodi merged 2 commits into
developfrom
backmerge/main-to-develop-38408612502
Oct 13, 2026
Merged

MarTrepodi merged 2 commits into
developfrom
backmerge/main-to-develop-38408612502

Conversation

@MarTrepodi

Copy link
Copy Markdown
Collaborator

Post-release sync of main (changelog + tag lineage) back into develop.

🤖 Generated with Claude Code

@github-actions github-actions Bot added documentation Improvements or additions to documentation ci Changes related to continuous integration processes labels Oct 13, 2026
@MarTrepodi
MarTrepodi merged commit 8d9db20 into develop Oct 13, 2026
37 checks passed
@MarTrepodi
MarTrepodi deleted the backmerge/main-to-develop-38408612502 branch October 13, 2026 14:26

This branch was successfully deployed

2 active deployments
pypi — a58d4bb3 Deployed Oct 13, 2026 by MarTrepodi via Publish to PyPI #51
github-pages — a58d4bb3 Deployed Oct 13, 2026 by MarTrepodi via Deploy to GitHub Pages #1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes related to continuous integration processes documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant