Skip to content

Fix the failing build due to API changes in DuckDB v1.5.2#12

Merged
habedi merged 8 commits intomainfrom
develop
Apr 18, 2026
Merged

Fix the failing build due to API changes in DuckDB v1.5.2#12
habedi merged 8 commits intomainfrom
develop

Conversation

@habedi
Copy link
Copy Markdown
Member

@habedi habedi commented Apr 18, 2026

  • Fixed the failing build due to API changes in DuckDB v1.5.2.
  • Added an AGENTS.md file to the project.
  • Updated external dependencies (Git submodules used in the project).

@habedi habedi self-assigned this Apr 18, 2026
@habedi habedi added bug Something isn't working enhancement New feature or request labels Apr 18, 2026
@codecov-commenter
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@habedi habedi merged commit 29311d2 into main Apr 18, 2026
33 checks passed
@habedi habedi deleted the develop branch April 18, 2026 20:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants