Skip to content

Feat/ultrahonk legacy default v1 6 1#81

Merged
rushby merged 3 commits into
mainfrom
feat/ultrahonk-legacy-default-v1-6-1
May 18, 2026
Merged

Feat/ultrahonk legacy default v1 6 1#81
rushby merged 3 commits into
mainfrom
feat/ultrahonk-legacy-default-v1-6-1

Conversation

@rushby

@rushby rushby commented May 18, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@rushby rushby requested review from cronicc, davehorizen and la10736 May 18, 2026 12:46
@rushby rushby requested a review from a team as a code owner May 18, 2026 12:46

@la10736 la10736 left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Still wait to fix the CI... BTW LGTM.

@rushby rushby merged commit e7a7060 into main May 18, 2026
5 checks passed
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.

2 participants