Zulip Chat Archive
Stream: general
Topic: timeout in analysis/complex/circle
Jireh Loreaux (Nov 12 2022 at 19:28):
Has anyone else gotten a timeout here recently? I think all of the files I touched in #17164 are not imports of this.
Jireh Loreaux (Nov 12 2022 at 22:08):
Apparently it's a @[simps] failure
Jireh Loreaux (Nov 12 2022 at 22:22):
Last updated: Dec 20 2023 at 11:08 UTC