Zulip Chat Archive
Stream: general
Topic: docker img of lean4 CI
TongKe Xue (Dec 06 2025 at 09:54):
Is https://hub.docker.com/r/leanprovercommunity/lean4 the docker img all the lean CI builds are done in?
[Context: trying to replicate the env the official lean4 builds are run in.]
Last updated: Dec 20 2025 at 21:32 UTC