Michal Nowak
079debaa10
Do not remove stderr from pict output
...
Removing stderr from the pict tool serves no purpose and drops valuable
information, we might use when debugging failed pairwise CI job, such
as:
Input Error: A parameter names must be unique
2021-02-23 15:23:58 +01:00
..
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2021-01-28 13:49:02 +11:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:19:37 -07:00
2020-09-14 16:19:37 -07:00
2020-09-14 16:19:37 -07:00
2020-09-14 16:19:37 -07:00
2020-09-14 16:19:37 -07:00
2020-09-14 16:19:37 -07:00
2020-09-14 16:19:37 -07:00
2021-02-18 19:33:54 +01:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2021-01-08 13:12:20 +01:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2021-02-23 15:23:58 +01:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-12-01 16:47:07 +01:00
2020-09-14 16:20:40 -07:00
2020-11-11 10:08:12 +01:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00
2020-09-14 16:20:40 -07:00