@Yves Bertot @affeldt-aist hi, how is the release going?
do you need help with something?
@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)
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.
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.)
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+beta1
in https://hub.docker.com/repository/docker/mathcomp/mathcomp/builds/edit ; @affeldt-aist do you plan to do it? otherwise I can have a look.
We hadn't decided yet but it seems reasonable to get rid of building rules for the beta.
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: Jun 01 2023 at 12:01 UTC