Skip to content

Conversation

@LucaMarconato
Copy link
Member

@LucaMarconato LucaMarconato merged commit 90a5de3 into main Jan 20, 2025
4 checks passed
@LucaMarconato LucaMarconato deleted the fix_steinbock_names branch January 20, 2025 13:40
@LucaMarconato LucaMarconato changed the title fix naming constraints steinbock Steinbock: fix naming constraints Jan 20, 2025
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.

2 participants