Skip to content

chore: back-merge main into develop - #204

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

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

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 22, 2026
@MarTrepodi
MarTrepodi merged commit 6d082e8 into develop Oct 22, 2026
34 checks passed
@MarTrepodi
MarTrepodi deleted the backmerge/main-to-develop-39818154926 branch October 22, 2026 16:57

This branch was successfully deployed

1 active deployment
pypi — 1c703a13 Deployed Oct 22, 2026 by MarTrepodi via Publish to PyPI #53
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