Repo Added
|
Files
402
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
20796 of 99325 relevant lines covered (20.94%)
2335.84 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
5953 | v1.141.0 | 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 ... | push | lindig | travis-ci | pending completion |