Skip to content

Conversation

@anmonteiro
Copy link
Contributor

No description provided.

@jmid
Copy link
Member

jmid commented Nov 10, 2025

I've just opened #28876 to address a number of red CI lights caused by missing upper bounds.

@jmid jmid closed this Nov 13, 2025
@jmid jmid reopened this Nov 13, 2025
@jmid
Copy link
Member

jmid commented Nov 13, 2025

I've triggered a CI rerun now that #28876 has been merged.

Copy link
Member

@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.

LGTM, thanks!

CI is still failing with revdeps, despite my attempts to retrigger after #28876 has been merged. I guess we need a rebase then 🤷

Would you consider adding x-maintenance-intent entries?
https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants