Skip to content

fix masked_key_indices#122

Merged
maxjeblick merged 1 commit intomainfrom
max/masked_key_indices
Aug 22, 2025
Merged

fix masked_key_indices#122
maxjeblick merged 1 commit intomainfrom
max/masked_key_indices

Conversation

@maxjeblick
Copy link
Copy Markdown
Collaborator

PR description

Small fix - main pipeline is not affected, but some experiments with AdaKVPress (custom code) fail.

Signed-off-by: Max Jeblick <maximilianjeblick@gmail.com>
@alessiodevoto
Copy link
Copy Markdown
Collaborator

I see, nice (hidden) catch thanks !

@maxjeblick maxjeblick merged commit b018816 into main Aug 22, 2025
3 checks passed
@maxjeblick maxjeblick deleted the max/masked_key_indices branch August 22, 2025 16:36
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