vbpf / prevail / 21657128530
87%
main: 87%

LAST BUILD BRANCH: minmax
DEFAULT BRANCH: main
Ran
Jobs 2
Files 74
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 86.723% (+0.03%) from 86.689%
21657128530

Pull #985

github

web-flow 
Merge 700b75bea into de9dee654
Pull Request #985: SplitDBM as one-sided numerical domain

430 of 449 new or added lines in 3 files covered. (95.77%)

4 existing lines in 2 files now uncovered.

9373 of 10808 relevant lines covered (86.72%)

3746603.56 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
19
93.28
 -0.69% src/crab/split_dbm.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
2
93.28
 -0.69% src/crab/split_dbm.cpp
2
95.63
 -1.25% src/crab_utils/adapt_sgraph.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 21657128530.1 74
84.46
 GitHub Action Run
2 run-Release - 21657128530.2 73
85.85
 GitHub Action Run
Source Files on build 21657128530