Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: search for first non-empty chunk #35

Merged
merged 1 commit into from
Sep 14, 2024

Conversation

jonasspinner
Copy link
Contributor

Previously, line_nr was not correctly modified in the loop, which is a bug. Additionally a TODO is resolved and there is no infinite loop if there are no non-empty lines in the sample.

@jonasspinner jonasspinner force-pushed the fix-make-sample-non-empty-chunk branch from 532c04e to 0c47798 Compare September 14, 2024 13:13
@jonasspinner jonasspinner force-pushed the fix-make-sample-non-empty-chunk branch from 0c47798 to 0e21a4c Compare September 14, 2024 13:17
@a10y a10y enabled auto-merge (squash) September 14, 2024 14:26
@a10y a10y self-requested a review September 14, 2024 14:26
Copy link
Contributor

@a10y a10y left a comment

Choose a reason for hiding this comment

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

Looks good, thank you!

@a10y a10y merged commit a3839c7 into spiraldb:develop Sep 14, 2024
3 checks passed
@github-actions github-actions bot mentioned this pull request Sep 14, 2024
a10y pushed a commit that referenced this pull request Sep 17, 2024
## 🤖 New release
* `fsst-rs`: 0.4.1 -> 0.4.2 (✓ API compatible changes)

<details><summary><i><b>Changelog</b></i></summary><p>

<blockquote>

## [0.4.2](v0.4.1...v0.4.2) -
2024-09-17

### Fixed

- search for first non-empty chunk
([#35](#35))
- docs first3 ([#33](#33))

### Other

- Assertion should allow empty compression
([#36](#36))
</blockquote>


</p></details>

---
This PR was generated with
[release-plz](https://github.com/MarcoIeni/release-plz/).

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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