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

Fix Stream deprecation warning #12768

Merged
merged 3 commits into from
May 30, 2024
Merged

Fix Stream deprecation warning #12768

merged 3 commits into from
May 30, 2024

Conversation

rbonichon
Copy link
Member

@rbonichon rbonichon commented Mar 6, 2023

This PR removes the deprecation warning yielded by the use of Caml.Stream by depending on package camlp-streams.

This needed #15683 to work correctly.

@rbonichon rbonichon requested a review from a team as a code owner March 6, 2023 10:45
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon rbonichon requested a review from a team as a code owner March 27, 2023 15:05
@rbonichon
Copy link
Member Author

!ci-build-me

1 similar comment
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

3 similar comments
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon rbonichon requested review from a team as code owners April 3, 2023 14:27
@rbonichon rbonichon force-pushed the rb/caml-streams branch 2 times, most recently from 8be7daa to 373c1af Compare April 3, 2023 15:00
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@dannywillems
Copy link
Member

Still relevant?

@mrmr1993
Copy link
Member

!ci-build-me

@mrmr1993
Copy link
Member

!ci-toolchain-me

@mrmr1993
Copy link
Member

!ci-build-me

2 similar comments
@mrmr1993
Copy link
Member

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

@mrmr1993
Copy link
Member

mrmr1993 commented Mar 5, 2024

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

1 similar comment
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-toolchain-me

@rbonichon rbonichon changed the base branch from develop to dkijania/add_deb_repo_flag_again May 28, 2024 19:12
@rbonichon
Copy link
Member Author

!ci-toolchain-me

@rbonichon rbonichon changed the base branch from dkijania/add_deb_repo_flag_again to develop May 29, 2024 14:57
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon
Copy link
Member Author

!ci-build-me

Depend on camlp-streams to remove the deprecation alert on Caml.Streams
@rbonichon
Copy link
Member Author

!ci-build-me

@rbonichon rbonichon merged commit 8d17ddf into develop May 30, 2024
68 checks passed
@rbonichon rbonichon deleted the rb/caml-streams branch May 30, 2024 09:38
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.

None yet

5 participants