Skip to main content

Browse the archive

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 
Tests/python: add more traces in CI
 
use -s --log-dir=tmp option
this displays traces in CI, but also some tests check for errors
in the traces
1 parent 3804172
Raw File
.gitattributes 
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_version/current_git_info.ml	export-subst
back to top