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

[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.1.2) #15639

Merged
merged 1 commit into from
Jan 9, 2020

Conversation

rgrinberg
Copy link
Member

Embed build informations inside executable

CHANGES:

…lugin, dune-private-libs and dune-glob (2.1.2)

CHANGES:

- Fix a bug in the `Fiber.finalize` function of the concurrency monad of Dune,
  causing a race condition at the user level (ocaml/dune#3009, fix ocaml/dune#2958, @diml)
@kit-ty-kate
Copy link
Member

The archive does not seem to exist yet:

Processing  1/1: [dune.2.1.2: http]
[ERROR] The sources of the following couldn't be obtained, aborting:
          - dune.2.1.2:
            https://github.com/ocaml/dune/releases/download/2.1.2/dune-2.1.2.tbz (curl: code 404 while downloading https://github.com/ocaml/dune/releases/download/2.1.2/dune-2.1.2.tbz)

@camelus
Copy link
Contributor

camelus commented Jan 8, 2020

Commit: 3749e91

A pull request by opam-seasoned @rgrinberg.

☀️ All lint checks passed 3749e91
  • These packages passed lint tests: dune-action-plugin.2.1.2, dune-build-info.2.1.2, dune-configurator.2.1.2, dune-glob.2.1.2, dune-private-libs.2.1.2, dune.2.1.2

☀️ Installability check (+6)
  • new installable packages (6): dune.2.1.2 dune-action-plugin.2.1.2 dune-build-info.2.1.2 dune-configurator.2.1.2 dune-glob.2.1.2 dune-private-libs.2.1.2

@ghost
Copy link

ghost commented Jan 9, 2020

I just uploaded it.

@kit-ty-kate
Copy link
Member

CI restarted

@kit-ty-kate
Copy link
Member

Looks good. Thanks!

@kit-ty-kate kit-ty-kate merged commit 7406325 into ocaml:master Jan 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

dune 2.0.0: promotion stops after first rule failure
3 participants