Revision dd005a53902af6ed85cdeb7d3739e11dfcfbe882 authored by Philippe Bidinger on 04 September 2019, 14:06:44 UTC, committed by Pierre Boutillier on 11 December 2019, 11:24:52 UTC
use -s --log-dir=tmp option this displays traces in CI, but also some tests check for errors in the traces
1 parent 3804172
