Karl Palmskog (Nov 04 2021 at 19:49): Karl Palmskog (Nov 04 2021 at 19:49):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. Théo Zimmermann (Nov 05 2021 at 07:05):Thanks! We do indeed need to refine these messages. Good suggestions!
Karl Palmskog (Nov 05 2021 at 07:29):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