The docker hub images are not updated

[ctseng777]

Prerequisites

Please put an X between the brackets as you perform the following steps:

• Check that your issue is not already filed:
  https://github.com/leanprover/lean4/issues
• Reduce the issue to a minimal, self-contained, reproducible test case.
  Avoid dependencies to Mathlib or Batteries.
• Test your test case against the latest nightly release, for example on
  https://live.lean-lang.org/#project=lean-nightly
  (You can also use the settings there to switch to “Lean nightly”)

Description

The images in the docker hub is outdated. https://hub.docker.com/u/leanprovercommunity
Although the hub is hosted by leanprovercommunity, but the official lean4 repository is here.

Can we create a new official leanprover identity in docker hub and main the images? I will help many users to install and use lean4 quickly and let developers be able to switch between different versions of lean4 easily. Users can easily add more tools and build their images on top of lean4 easily.

I could help on this. I already hosted my own docker image release pipeline and build images nightly. https://github.com/ctseng777/docker-lean4/tree/main

Context

Steps to Reproduce

Look at https://hub.docker.com/u/leanprovercommunity

Expected behavior: [Clear and concise description of what you expect to happen]

Actual behavior: [Clear and concise description of what actually happens]

Versions

[Output of #version or #eval Lean.versionString]
[OS version, if not using live.lean-lang.org.]

Additional Information

[Additional information, configuration or data that might be necessary to reproduce the issue]

Impact

Add 👍 to issues you consider important. If others are impacted by this issue, please ask them to add 👍 to it.

[nomeata]

Glad that you want to help, and have already started with an updated setup. Have you offered your help to the leancommunity group that owns the existing docket imagine there?

[ctseng777]

Hi Joachim, Thanks for the advice! I've contacted them yet. I've visited their github page but don't use lean4 or docker-lean4 like repositories. So I reached out to leanprover. Let me try their chatroom. Thanks!

…

On Sat, Feb 8, 2025 at 1:21 AM Joachim Breitner ***@***.***> wrote: Glad that you want to help, and have already started with an updated setup. Have you offered your help to the leancommunity group that owns the existing docket imagine there? — Reply to this email directly, view it on GitHub <#6996 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AA7LKD6V5E5MV3CER6VTIML2OXECDAVCNFSM6AAAAABWXPK5V6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDMNBUG42DENZTGE> . You are receiving this because you authored the thread.Message ID: ***@***.***>