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(*.opam): (Sort &) Fix deps for server/client build in isolation #441

Merged
merged 3 commits into from
Oct 9, 2021

Conversation

erikmd
Copy link
Member

@erikmd erikmd commented Oct 9, 2021

@erikmd erikmd added the kind: infrastructure CI, build tools, development tools label Oct 9, 2021
@erikmd erikmd changed the title test: Add Dockefile.test-server to repro issue with learn-ocaml.opam fix(*.opam): (Sort &) Fix deps for server/client build in isolation Oct 9, 2021
@erikmd erikmd self-assigned this Oct 9, 2021
erikmd added a commit to proofbot/opam-repository that referenced this pull request Oct 9, 2021
@erikmd erikmd merged commit e6048f9 into ocaml-sf:master Oct 9, 2021
@erikmd erikmd deleted the add-test branch October 9, 2021 16:08
mseri pushed a commit to ocaml/opam-repository that referenced this pull request Oct 11, 2021
* 2 packages from ocaml-sf/learn-ocaml at 0.13.0

* Fix learn-ocaml.0.13.0 & Improve learn-ocaml-client.0.13.0 a bit

href: ocaml-sf/learn-ocaml#441

* fix: version of dune (thanks to opam-ci lint job)

Co-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
fdopen added a commit to fdopen/opam-repository-mingw that referenced this pull request Oct 19, 2021
* 2 packages from ocaml-sf/learn-ocaml at 0.13.0

* Fix learn-ocaml.0.13.0 & Improve learn-ocaml-client.0.13.0 a bit

href: ocaml-sf/learn-ocaml#441

* fix: version of dune (thanks to opam-ci lint job)

Co-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
@erikmd erikmd added this to the learn-ocaml 0.13.1 milestone Nov 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: infrastructure CI, build tools, development tools
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant