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...
good idea but not enough
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