I'm not at all a heavy user/reader of coqbot, but it always feels strange to me to use "plain English" sentences instead of some more artificial layout with color coding that is easier to break down quickly, for example:
:alert: CI failures at commit 2eb1bd1 without any failure in the test-suite
:check: corresponding jobs for the base commit 95e359b succeeded.
:question: ask me to try to extract a minimal test case from this so that it can be added to the test-suite.
@coqbot ci minimize
will minimize the following targets: ci-aac_tactics
, ci-cross_crypto
.Thanks! We do indeed need to refine these messages. Good suggestions!
see also layout of pull request messages from the opam-publish tool: https://github.com/coq/opam-coq-archive/pull/1916#issue-1043703544
Last updated: Sep 25 2023 at 12:01 UTC