[camlp5] New release 7.03, compatible with OCaml 4.06.0. #10523
Conversation
|
CI Failure with 4.06 looks due to the use of an old 4.06 image, but can't tell for sure. |
@avsm the magic numbers used by the OCaml implementation were bumped after beta2 (not a great idea), and @ejgallego's intuition that the CI is using the older magic number sounds reasonable. Do you know when the images used for 4.06 testing were built? Are they fixed on beta2? |
Well we sure made a mistake by not updating the magic numbers before the betas, but not updating them at all would have been even worse so that's how it is. I will do an extra beta or rc this week. |
The CI says it is using the |
Let's merge the release now to unblock Coq testing. If it turns out @ejgallego did a mistake we can always merge a new release and mark this one incompatible with 4.06.0. |
7f3dae2
into
ocaml:master
Thanks @gasche , working fine in my opam setup. |
I'm rebuilding the opam2 images again... hopefully this'll be the last magic number change :-)
… On 25 Oct 2017, at 09:32, Gabriel Scherer ***@***.***> wrote:
@avsm <https://github.com/avsm> the magic numbers used by the OCaml implementation were bumped after beta2 (not a great idea), and @ejgallego <https://github.com/ejgallego>'s intuition that the CI is using the older magic number sounds reasonable. Do you know when the images used for 4.06 testing were built? Are they fixed on beta2?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub <#10523 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AADPrE0iogGS_GukNCyjXe87lu8LjjP8ks5svvImgaJpZM4QDAuv>.
|
No description provided.