Skip to content

bump/jagua-rs#139

Merged
JeroenGar merged 1 commit intomainfrom
bump/jagua-rs
Feb 25, 2026
Merged

bump/jagua-rs#139
JeroenGar merged 1 commit intomainfrom
bump/jagua-rs

Conversation

@JeroenGar
Copy link
Owner

No description provided.

@JeroenGar
Copy link
Owner Author

@MEOW521 this PR bumps jagua-rs to the fixed version regarding: JeroenGar/jagua-rs#5
I'll merge it once the benchmarks are finished.

@JeroenGar JeroenGar merged commit 0527ca4 into main Feb 25, 2026
6 checks passed
@JeroenGar JeroenGar deleted the bump/jagua-rs branch February 25, 2026 19:20
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.

1 participant