Cyril Cohen (Jun 08 2020 at 12:33): Cyril Cohen (Jun 08 2020 at 12:33):@Yves Bertot @affeldt-aist hi, how is the release going?
Cyril Cohen (Jun 08 2020 at 12:33):do you need help with something?
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)
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.
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.)
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.
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.
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: Dec 01 2023 at 06:01 UTC