4
80%
master: 80%

Ran 04 Dec 2018 06:59PM UTC

Files 401

Run time 47s

Badge

Embed ▾

Committed 04 Dec 2018 06:40PM UTC coverage: 20.939% (-0.003%) from 20.942%

Job # BUILD_METHOD=opam-coverage

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

xapi-project / xen-api / 5940 / 4
80%
master: 80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5940.4 (BUILD_METHOD=opam-coverage)

xapi-project / xen-api / 5940 / 4 80% master: 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5940.4 (BUILD_METHOD=opam-coverage)

xapi-project / xen-api / 5940 / 4
80%
master: 80%

README BADGES
x