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

Phase1 CI #4

Closed
wants to merge 5 commits into from
Closed

Phase1 CI #4

wants to merge 5 commits into from

Conversation

shonfeder
Copy link
Contributor

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

2 participants