Stream: Coq devs & plugin devs

Topic: Coqc colours in the CI?


view this post on Zulip Pierre Rousselin (Nov 20 2023 at 08:26):

Just a quick survey about https://github.com/coq/coq/pull/18337 to know if I should close it or not.
What do you think of having colours for the CI output? Well mostly yellow for warnings and red for errors...

view this post on Zulip Huỳnh Trần Khanh (Nov 20 2023 at 10:06):

good idea but not enough

view this post on Zulip Huỳnh Trần Khanh (Nov 20 2023 at 10:06):

https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions#setting-a-debug-message

view this post on Zulip Huỳnh Trần Khanh (Nov 20 2023 at 10:16):

sorry, didn't realize Coq is mostly on inria gitlab ci. gitlab doesn't have an equivalent feature. but it's unequivocally better than normal coloring. regardless, coloring is an unequivocal improvement already


Last updated: Oct 13 2024 at 01:02 UTC