Stream: Coq devs & plugin devs

Topic: Expanding the CI test-suite failures


view this post on Zulip Hugo Herbelin (Nov 12 2020 at 12:46):

To CI experts: how easy would it be that the test-suite failures are displayed in full in the test-suite:base tests like they are in the MacOS test?

view this post on Zulip Théo Zimmermann (Nov 12 2020 at 13:02):

You know that the failures are made available as artifacts, right?

view this post on Zulip Gaëtan Gilbert (Nov 12 2020 at 13:03):

very easy

view this post on Zulip Hugo Herbelin (Nov 12 2020 at 13:12):

Théo Zimmermann said:

You know that the failures are made available as artifacts, right?

No (and to be honest, I don't know either the exact definition of "artifacts").

very easy

This is an alternative to @Théo Zimmermann's answer, right? Whatever solution is good, or both, if it can just be about one or two clicks.

view this post on Zulip Gaëtan Gilbert (Nov 12 2020 at 13:14):

eg on https://gitlab.com/coq/coq/-/jobs/836406574 there is a "download" button

view this post on Zulip Théo Zimmermann (Nov 12 2020 at 13:14):

You can also select a specific artifact by first clicking on "Browse"

view this post on Zulip Hugo Herbelin (Nov 12 2020 at 13:17):

Théo Zimmermann said:

You can also select a specific artifact by first clicking on "Browse"

OK, I see, I indeed did not pay attention, thanks!

view this post on Zulip Emilio Jesús Gallego Arias (Nov 12 2020 at 14:41):

Note that the dune test suite already sets the variable that makes the display on the log, so you can just click that one in the gitlab interface


Last updated: Oct 21 2021 at 20:02 UTC