Skip to content

chore: use leansqlite main branch#378

Merged
kim-em merged 1 commit intomainfrom
leansqlite-main-branch
Apr 7, 2026
Merged

chore: use leansqlite main branch#378
kim-em merged 1 commit intomainfrom
leansqlite-main-branch

Conversation

@kim-em
Copy link
Copy Markdown
Contributor

@kim-em kim-em commented Apr 7, 2026

This PR switches the leansqlite dependency from the suppress-reducibility-warning branch back to main, as the workaround branch is no longer needed.

🤖 Prepared with Claude Code

The suppress-reducibility-warning branch is no longer needed.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@kim-em kim-em merged commit 55b39e7 into main Apr 7, 2026
2 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.

1 participant