5940
80%

Ran 04 Dec 2018 06:59PM UTC

Jobs 1

Files 401

Run time 50s

Badge

Embed ▾

pending completion

Build # 5940

Build Type

push

travis-ci

Committed by

lindig

Commit Message

Use dune and define profile "gprof" for profiling

Switch to to Dune and define a profile for profiling with gprof while
keeping jbuild files for now. Since Dune has stricter warning flags in
its dev profile, we have to use the release profile to avoid braking the
build until this is cleaned up. Switching to a different profile is easy
from the command line:

  make PROFILE=dev

Signed-off-by: Christian Lindig <christian.lindig@citrix.com>

Run Details

20798 of 99325 relevant lines covered (20.94%)

2335.83 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	5940.4 (BUILD_METHOD=opam-coverage)	04 Dec 2018 06:59PM UTC	0	20.94	Travis Job 5940.4

Source Files on build 5940

Detailed source file information is not available for this build.

xapi-project / xen-api / 5940
80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5940

xapi-project / xen-api / 5940 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5940

xapi-project / xen-api / 5940
80%

README BADGES
x