Stream: Coq devs & plugin devs

Topic: Docker images from coq-community


view this post on Zulip 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?

view this post on Zulip Enrico Tassi (Mar 31 2022 at 09:46):

CC @Christian Doczkal

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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:

view this post on Zulip 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: Feb 05 2023 at 20:03 UTC