Skip to content

Use hugr panic instead of BRAT extension - #133

Open
croyzor wants to merge 1 commit into
mainfrom
cr/remove-extension/panic
Open

croyzor wants to merge 1 commit into
mainfrom
cr/remove-extension/panic

Conversation

@croyzor

@croyzor croyzor commented Sep 14, 2026

Copy link
Copy Markdown
Collaborator

Work towards #125

NB: This will make our tests fail beccause I didn't bother with emitting JSON. They will pass after #124

@croyzor
croyzor requested a review from acl-cqc September 14, 2026 10:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant