Docker Hub images behind tags on Gitlab and Github

[Chase Meadors]

The tags on sagemath/sagemath range up to 9.1.beta9, whereas tags on Github and on Gitlab range up to a stable 9.1 and into betas for 9.2. 9.1 Appears to have been released on 05/20, and the Docker Hub repository was last pushed to 11 days ago, and yet the latest builds don't appear. Is there some reason the Docker Hub repository is behind? Please note that if this is "how it works" or by design, that's perfectly fine, but I can't find any information about a schedule, other than the Docker Hub page reporting that pushes to Gitlab apparently trigger the CI builds/pushes.

[Julian Rüth]

Hi,

* Chase Meadors <c.ed...@gmail.com> [2020-06-22 15:08:11 -0700]:

> Is there some reason the Docker Hub repository is behind?

thanks for notifying us about this problem. Usually the Docker images
should just take a few hours after a tag is created.
A few prereleases and the 9.1 release did not show up due to
https://trac.sagemath.org/ticket/29748 and
https://trac.sagemath.org/ticket/29848. These are both fixed now so it
should work again. However, it seems that there's a problem with our
runner at Orsay. I started a thread about this here:
https://zulip.sagemath.org/#narrow/stream/117-docker/topic/Runners.20cannot.20connect.20to.20Docker.20Service

julian

[Chase Meadors]

Thanks Julian!

I see today the issue appears to have been resolved. Glad to help!

On Monday, June 22, 2020 at 8:01:39 PM UTC-6, Julian Rüth wrote:

Hi,

* Chase Meadors <c.e...@gmail.com> [2020-06-22 15:08:11 -0700]: