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
dune 
(env
 (dev
  (flags (:standard)))
 (release
  (flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_lint)))

(alias
 (name runtest)
 (deps (alias_rec runtest_sandbox)))
back to top