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.

Sign up for GitHub

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

Jump to bottom

Upgrade to mccs.1.1+17 #5769

Merged
merged 1 commit into from
Dec 21, 2023
Merged

Upgrade to mccs.1.1+17 #5769

merged 1 commit into from
Dec 21, 2023

Conversation

kit-ty-kate
Copy link
Member

Opening this PR in prevision of the release.
See ocaml-opam/ocaml-mccs#50 for detail of the fix.

@kit-ty-kate kit-ty-kate added the PR: WIP Not for merge at this stage label Dec 19, 2023
@kit-ty-kate kit-ty-kate mentioned this pull request Dec 19, 2023
Merged
@kit-ty-kate kit-ty-kate added this to the 2.2.0~beta1 milestone Dec 19, 2023
@kit-ty-kate kit-ty-kate added PR: QUEUED Pending pull request, waiting for other work to be merged or closed and removed PR: WIP Not for merge at this stage labels Dec 19, 2023
@kit-ty-kate kit-ty-kate removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Dec 20, 2023
@kit-ty-kate kit-ty-kate changed the title Vendor mccs.1.1+17 Upgrade to mccs.1.1+17 Dec 20, 2023
@kit-ty-kate kit-ty-kate force-pushed the mccs-glpk-no-debug branch 3 times, most recently from d17b83b to 01c3efa Compare December 20, 2023 18:48
@kit-ty-kate
Copy link
Member Author

kit-ty-kate commented Dec 20, 2023 •
edited
Loading

Queued on ocaml/opam-repository#24966. Once it is merged only the opam-repository commit should be changed and it should be good to go.

Merged.

@kit-ty-kate kit-ty-kate added PR: QUEUED Pending pull request, waiting for other work to be merged or closed PR: WAITING FOR REVIEW labels Dec 20, 2023
@kit-ty-kate kit-ty-kate mentioned this pull request Dec 21, 2023
Closed
@kit-ty-kate kit-ty-kate removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Dec 21, 2023
rjbou
rjbou approved these changes Dec 21, 2023
View reviewed changes
Copy link
Collaborator

@rjbou rjbou left a comment

Choose a reason for hiding this comment

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

thanks!

@rjbou rjbou merged commit c158f0e into ocaml:master Dec 21, 2023
28 checks passed
@kit-ty-kate kit-ty-kate deleted the mccs-glpk-no-debug branch December 21, 2023 17:13
@dra27 dra27 mentioned this pull request Jan 18, 2024
Merged
@kit-ty-kate kit-ty-kate mentioned this pull request Apr 2, 2024
Merged
4 tasks
@rjbou rjbou modified the milestones: 2.2.0~beta1, 2.1.6 May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rjbou rjbou rjbou approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
2.1.6
Development

Successfully merging this pull request may close these issues.
2 participants
@kit-ty-kate @rjbou