Skip to content

Conversation

@shonfeder
Copy link
Member

@shonfeder shonfeder commented Jan 1, 2025

This PR is for mutual testing of the changes in #3 and the CI workflow which should actually be merged in from #5.

@shonfeder shonfeder changed the title Removal phase1 CI Phase1 CI Jan 1, 2025
@shonfeder shonfeder force-pushed the removal-phase1-ci branch 3 times, most recently from ec11f4e to d0f9313 Compare January 1, 2025 07:45
@shonfeder shonfeder mentioned this pull request Jan 1, 2025
@shonfeder shonfeder marked this pull request as draft January 1, 2025 08:45
@hannesm
Copy link
Member

hannesm commented Jan 1, 2025

thanks for your work and this PR. I merged #5 and closing this

@hannesm hannesm closed this Jan 1, 2025
hannesm added a commit to hannesm/archive-opam that referenced this pull request Jan 1, 2025
…unds

previously, it may happen that a package was removed since it was uninstallable,
and then the reverse dependencies couldn't get proper upper bounds (in the next
iteration) due to the package was not around anymore

spotted by @shonfeder in ocaml/opam-repository-archive#4
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