Skip to content

Replace naive bit_vector by bitv - #96

Merged
mbarbin merged 6 commits into
mainfrom
with-bitv
Aug 27, 2025
Merged

Replace naive bit_vector by bitv#96
mbarbin merged 6 commits into
mainfrom
with-bitv

Conversation

@mbarbin

@mbarbin mbarbin commented Aug 23, 2025

Copy link
Copy Markdown
Owner

No description provided.

@mbarbin

mbarbin commented Aug 23, 2025

Copy link
Copy Markdown
Owner Author

CI to be run after the version bitv.2.1 is released in opam (currently under review).

@mbarbin
mbarbin merged commit 7b2d3b3 into main Aug 27, 2025
10 checks passed
@mbarbin
mbarbin deleted the with-bitv branch August 27, 2025 18:59
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