Stream: Coq devs & plugin devs

Topic: Bench not reported by coqbot


view this post on Zulip Pierre-Marie P├ędrot (Aug 18 2022 at 14:56):

On this PR the bench was completed without coqbot sending a message in the PR. Is it a known issue?


Last updated: Feb 06 2023 at 20:02 UTC