Hugo Herbelin (Nov 12 2020 at 12:46): 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?
Théo Zimmermann (Nov 12 2020 at 13:02):You know that the failures are made available as artifacts, right?
Gaëtan Gilbert (Nov 12 2020 at 13:03):very easy
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.
Gaëtan Gilbert (Nov 12 2020 at 13:14):eg on https://gitlab.com/coq/coq/-/jobs/836406574 there is a "download" button
Théo Zimmermann (Nov 12 2020 at 13:14):You can also select a specific artifact by first clicking on "Browse"
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!
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: Apr 20 2024 at 10:02 UTC