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)
It is built in the send_status_check
function at the beginning of actions.ml
.
Last updated: Oct 13 2024 at 01:02 UTC