Enrico Tassi (Mar 31 2022 at 09:44): Enrico Tassi (Mar 31 2022 at 09:44):Can someone review/merge this one: https://github.com/coq-community/docker-base/pull/17 ?
@Erik Martin-Dorel is maybe busy, can someone else consider it?
Enrico Tassi (Mar 31 2022 at 09:46):CC @Christian Doczkal
Karl Palmskog (Mar 31 2022 at 10:00):we could review/merge it, but I think Erik has to run his scripts to deploy it
Erik Martin-Dorel (Mar 31 2022 at 11:01):Hi @Enrico Tassi , thanks for the ping. Actually there is a blocking issue on opam side, see my comment for details:
https://github.com/coq-community/docker-base/pull/17#issuecomment-1084419533
So I've pinged the opam maintainers anew just now.
Erik Martin-Dorel (Mar 31 2022 at 11:06):Karl Palmskog said:
we could review/merge it, but I think Erik has to run his scripts to deploy it
Actually there are only two cases:
coqorg/base image related to the PR is new (e.g., a new OCaml version) → nothing to do after the mergecoqorg/base images → in this case, I need to start a master pipeline using this doc, e.g. with a rebuild-all command Erik Martin-Dorel (Apr 01 2022 at 01:43):Just FYI, the first complete build I did in GitLab CI was fine, albeit ended in a no-op in Docker Hub registry… because of this issue AFAICT:
https://github.com/docker/hub-feedback/issues/2223
Anyway, will resume this tomorrow.
Edit: actually, it seems it was just the display of the push status that was off.
Last updated: Apr 16 2024 at 20:02 UTC