Skip to content

✨ Add new invariants#463

Merged
lukacan merged 1 commit intodevelopfrom
new-invariants
Apr 1, 2026
Merged

✨ Add new invariants#463
lukacan merged 1 commit intodevelopfrom
new-invariants

Conversation

@lukacan
Copy link
Copy Markdown
Collaborator

@lukacan lukacan commented Apr 1, 2026

Description

Related Tickets & Documents

  • Related Issue #

  • Closes #

  • I clicked on "Allow edits from maintainers"

@lukacan lukacan added the no changelog Lable to skip `check changelog` in CI pipeline. label Apr 1, 2026
@lukacan lukacan merged commit 4a40e78 into develop Apr 1, 2026
15 of 16 checks passed
@lukacan lukacan deleted the new-invariants branch April 1, 2026 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog Lable to skip `check changelog` in CI pipeline.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant