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

Use upgraded rpc_parallel #10983

Merged
merged 1 commit into from
May 17, 2022
Merged

Use upgraded rpc_parallel #10983

merged 1 commit into from
May 17, 2022

Conversation

Firobe
Copy link
Contributor

@Firobe Firobe commented May 16, 2022

This updates the submodule to use the upgraded version of rpc_parallel.

As a result, it also fixes uses of the variant Disconnect that has been renamed to Connection_closed in the latest version.

@Firobe Firobe requested review from a team, bkase, psteckler, imeckler and mrmr1993 as code owners May 16, 2022 18:46
@Firobe Firobe added the ci-build-me Add this label to trigger a circle+buildkite build for this branch label May 16, 2022
@Firobe
Copy link
Contributor Author

Firobe commented May 16, 2022

Force-pushing to include a missing variant renaming in tests, and remove version change in src/opam.export (upstream doesn't have relaxed versioning constraints, which causes conflicts).

@Firobe Firobe merged commit 4fdf3bf into compatible May 17, 2022
@Firobe Firobe deleted the upgrade-rpc_parallel branch May 17, 2022 00:28
@Firobe Firobe added the Tweag label May 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci-build-me Add this label to trigger a circle+buildkite build for this branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants