Stream: Coq devs & plugin devs

Topic: Bench not reported by coqbot

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