Skip to content

Conversation

@JannikZed
Copy link
Contributor

No description provided.

@JannikZed JannikZed merged commit 5aad420 into main Mar 29, 2025
2 checks passed
@JannikZed JannikZed deleted the minor-repo-improvements branch March 29, 2025 14:47
@github-actions
Copy link

Coverage Report

Coverage after merging minor-repo-improvements into main will be:

Hit/ Total Coverage
🌿 Branches 3 / 7 42.86% 😀
🔢 Functions 1 / 5 20% 😕
📝 Lines 6 / 542 1.11% 🫣

@github-actions
Copy link

github-actions bot commented May 8, 2025

🎉 This PR is included in version 1.3.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants