Stream: coqbot devs & users

Topic: coqbot comment messages


view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Nov 05 2021 at 07:05):

Thanks! We do indeed need to refine these messages. Good suggestions!

view this post on Zulip 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: Jan 31 2023 at 10:01 UTC