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

Compressed blocks #19270

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Compressed blocks #19270

wants to merge 2 commits into from

Conversation

arvidn
Copy link
Contributor

@arvidn arvidn commented Feb 15, 2025

Purpose:

TODO

Current Behavior:

New Behavior:

Testing Notes:

Copy link

socket-security bot commented Feb 15, 2025

Removed dependencies detected. Learn more about Socket for GitHub ↗︎

🚮 Removed packages: pypi/[email protected]

View full report↗︎

@arvidn arvidn changed the title Compressed blocks2 Compressed blocks Feb 15, 2025
@github-actions github-actions bot added the merge_conflict Branch has conflicts that prevent merge to main label Feb 21, 2025
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

…ons and compresses them incrementally, allowing us to fill blocks even when compressing
@arvidn arvidn force-pushed the compressed-blocks2 branch from c755336 to 7a5deb1 Compare February 26, 2025 00:46
@github-actions github-actions bot removed the merge_conflict Branch has conflicts that prevent merge to main label Feb 26, 2025
Copy link
Contributor

Conflicts have been resolved. A maintainer will review the pull request shortly.

@arvidn arvidn added the Changed Required label for PR that categorizes merge commit message as "Changed" for changelog label Feb 26, 2025
@github-actions github-actions bot added the merge_conflict Branch has conflicts that prevent merge to main label Feb 28, 2025
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Changed Required label for PR that categorizes merge commit message as "Changed" for changelog merge_conflict Branch has conflicts that prevent merge to main
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant