Stream: coqbot devs & users

Topic: Missing runner information


view this post on Zulip Jason Gross (Aug 24 2023 at 19:38):

Did the bot recently change reporting format? ci minimization no longer works


Last updated: Oct 13 2024 at 01:02 UTC