About this Repo Docker image for Lean 4. Currently only the latest nightly version is supported. The image can be found on here.