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: Dec 20 2023 at 11:08 UTC