Skip to content

optimize: Database build#20

Merged
ecoricemon merged 1 commit into
mainfrom
optimize-build
Jul 7, 2026
Merged

optimize: Database build#20
ecoricemon merged 1 commit into
mainfrom
optimize-build

Conversation

@ecoricemon

@ecoricemon ecoricemon commented Jul 7, 2026

Copy link
Copy Markdown
Owner

Related issues

Closes #18

Changes

  • Do not make error messages it it's not needed
  • Split dataset into clauses first
  • Organize benches

* Do not make error messages it it's not needed
* Split dataset into clauses first
* Organize benches
@codecov

codecov Bot commented Jul 7, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@ecoricemon ecoricemon merged commit 7327a37 into main Jul 7, 2026
17 checks passed
@ecoricemon ecoricemon deleted the optimize-build branch July 7, 2026 01:27
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.

Optimize DB build time

1 participant