Stream: math-comp devs

Topic: 1.11.0 release


view this post on Zulip Cyril Cohen (Jun 08 2020 at 12:33):

@Yves Bertot @affeldt-aist hi, how is the release going?

view this post on Zulip Cyril Cohen (Jun 08 2020 at 12:33):

do you need help with something?

view this post on Zulip Erik Martin-Dorel (Jun 10 2020 at 12:36):

@Yves Bertot @affeldt-aist and feel free to ping me if ever you get some issue with the Docker Hub builds
(BTW I am currently working on migrating the multi-branches Docker Hub build repo to a mono-branch build repo from GitLab CI − this is not already done, but I'll let you know ASAP − AFAICT the management of the Docker builds for the next releases will be much easier)

view this post on Zulip Reynald Affeldt (Jun 10 2020 at 12:39):

Thank you. The images are now building. I restarted 1.11.0+beta1-coq-8.11 that failed once. 1.11.0+beta1-coq-dev is still in progress but other images seem to have built. We were wondering whether a problem would occur since we now have two builds behind each 1.11 tag.

view this post on Zulip Erik Martin-Dorel (Jun 10 2020 at 12:45):

Regarding the build duplicates, I first thought it was due to https://github.com/docker/hub-feedback/issues/1949 but it wasn't the case upon checking; actually I guess the two builds comes from (1) the automatic push and (2) a trigger from the interface, maybe if you had chosen an option called "Save and build" or so, as "Save" would be enough. But its not an issue at all: one can cancel the duplicate builds before they start to free the pipeline. (I will do it.)

view this post on Zulip Erik Martin-Dorel (Jun 10 2020 at 12:55):

BTW the new images currently building, will be named 1.11.0-coq-* and thereby replace the images that were containing math-comp 1.11.0+beta1, so I'd say we can remove the rules that were dealing with 1.11.0+beta1in https://hub.docker.com/repository/docker/mathcomp/mathcomp/builds/edit ; @affeldt-aist do you plan to do it? otherwise I can have a look.

view this post on Zulip Reynald Affeldt (Jun 10 2020 at 13:13):

We hadn't decided yet but it seems reasonable to get rid of building rules for the beta.

view this post on Zulip Cyril Cohen (Jun 10 2020 at 13:16):

affeldt-aist said:

We hadn't decided yet but it seems reasonable to get rid of building rules for the beta.

especially if it ends with .0+beta1 :joy:


Last updated: Aug 11 2022 at 02:03 UTC