Skip to content

Conversation

@dinosaure
Copy link
Collaborator

/cc @giltho and @kit-ty-kate, if you are happy this patch (which compiles #50 into one commit), I'm ready to cut a release.

…le (since

OCaml 5.2.0). This patch provides a new progress.vector sub-library and allow
users to link progress with projects which define their own Vector module.

Signed-off-by: Sacha Ayoun <[email protected]>
Co-authored-by: Sacha Ayoun <[email protected]>
Co-authored-by: Kate <[email protected]>
@giltho
Copy link
Contributor

giltho commented Sep 19, 2025

I'm on holiday but I'll try to give it a sanity test check tonight with our project before you merge if that's ok

@giltho
Copy link
Contributor

giltho commented Sep 19, 2025

That seems to work :)
soteria-tools/soteria#136

@dinosaure
Copy link
Collaborator Author

Thanks both, I will cut a release.

@dinosaure dinosaure merged commit d35a79f into main Sep 22, 2025
1 check passed
@dinosaure dinosaure deleted the no-vector-better-pr branch September 22, 2025 10:18
@dinosaure dinosaure mentioned this pull request Sep 22, 2025
@giltho
Copy link
Contributor

giltho commented Sep 22, 2025

Thank you very much for your help!

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.

4 participants