chrjabs / rustsat / 16803930345
61%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 82
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: 59.961% (-1.5%) from 61.474%
16803930345

push

github

chrjabs 
chore: clippy

8 of 30 new or added lines in 4 files covered. (26.67%)

5 existing lines in 2 files now uncovered.

13204 of 22021 relevant lines covered (59.96%)

80567.55 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
46.2
 -0.28% src/instances/sat.rs
9
44.04
 -0.49% src/instances/opt.rs
12
0.0
 0.0% capi/src/encodings/pb.rs

Uncovered Existing Lines

Lines Coverage ∆ File
1
44.04
 -0.49% src/instances/opt.rs
4
0.0
 0.0% capi/src/encodings/pb.rs
Jobs
ID Job ID Ran Files Coverage
1 16803930345.1 82
59.96
 GitHub Action Run
Source Files on build 16803930345