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
.gitattributes
.gitignore export-ignore
.gitattributes export-ignore
.gitlab-ci.yml export-ignore
src/lib_version/current_git_info.ml export-subst
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...