Stream: coqbot devs & users

Topic: Checks tab message


view this post on Zulip Jason Gross (Sep 02 2023 at 19:31):

Where is the checks tab message constructed when a CI job fails? The format changed recently in a way that broke the bug minimizer integration. (https://github.com/coq/bot/issues/290)

view this post on Zulip Théo Zimmermann (Sep 03 2023 at 08:28):

It is built in the send_status_check function at the beginning of actions.ml.


Last updated: Oct 13 2024 at 01:02 UTC