Zulip Chat Archive
Stream: PR reviews
Topic: docker
Patrick Massot (Aug 29 2023 at 18:41):
Is there a docker expert that could review https://github.com/leanprover-community/leanprover-community.github.io/pull/330?
Last updated: May 02 2025 at 03:31 UTC