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

[package update] Strenghten dependencies constraints in Ortac packages #26697

Merged
merged 2 commits into from
Oct 10, 2024

Conversation

n-osborne
Copy link
Contributor

This PR updates some dependencies constraints for some Ortac packages.

When an Ortac package depends on another Ortac package, make the constraints ask for the exact same version.
The reason why is that version 0.4.0 brings some breaking changes (see #26691) and we can't guarantee that it will be an isolate case.

Constraints on the Gospel package are also added, as the next release is expected to bring breaking changes.

Copy link
Contributor

@jmid jmid left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall, with the Ortac packages we are trying to make things work together within versions, while avoiding issues arising from cross-version combinations, like ortac-core.0.4 and ortac-qcheck-stm.0.2.

The changes LGTM for doing so!

I think there is also an occurrence in packages/ortac-core/ortac-core.0.3.0/opam that needs = version but then everything should be version-aligned AFAICS!

  "ortac-runtime" {with-test}

Future versions are expected to break these packages.
Next release is expected to include breaking changes
@n-osborne n-osborne force-pushed the ortac-dep-constraints branch from c74b516 to 4969138 Compare October 9, 2024 14:23
@n-osborne
Copy link
Contributor Author

Good catch, I missed this one!

@jmid
Copy link
Contributor

jmid commented Oct 9, 2024

The ppx_deriving.5.2.1 failure on ocaml.5.3.0~alpha1 is unrelated.

I've just filed #26702 to add missing upper bounds to address it.

@jmid
Copy link
Contributor

jmid commented Oct 9, 2024

This is all green modulo the ppx_deriving issue fixed in #26702.
It should therefore be good to merge, so that #26691 can be rebased and rerun its CI tests 🙂

@mseri
Copy link
Member

mseri commented Oct 10, 2024

Thanks

@mseri mseri merged commit a9fe998 into ocaml:master Oct 10, 2024
2 of 3 checks passed
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.

3 participants