Zulip Chat Archive
Stream: iris-lean
Topic: Toolchain Update
Shreyas Srinivas (Jul 18 2025 at 13:15):
@Mario Carneiro : The toolchain update to v4.21.0 has been pending for two weeks. The auto generated PR needs to be merged. I think only maintainers can do that.
Last updated: Dec 20 2025 at 21:32 UTC