chrjabs / rustsat / 36862754153
64%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 93
Run time 2min
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: 62.599% (+0.7%) from 61.891%
36862754153

push

github

web-flow 
chore: update dev environment (#754)

* chore: update dev environment

* chore: clippy

* chore: update minimal Cargo.lock

* fix(pyapi): nix derivation

* fix: minimal dependencies

27 of 32 new or added lines in 7 files covered. (84.38%)

126 existing lines in 35 files now uncovered.

14531 of 23213 relevant lines covered (62.6%)

138836.84 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
52.74
0.23% src/instances/opt.rs
2
81.1
1.27% src/encodings/totdb/mod.rs

Coverage Regressions

Lines Coverage ∆ File
16
67.4
-5.37% tools/src/encodings/knapsack.rs
9
23.32
0.34% src/encodings/pb/simulators.rs
8
79.72
0.42% src/encodings/nodedb.rs
7
0.0
0.0% tools/src/encodings/cnf/clustering.rs
6
38.5
-0.35% pigeons/src/types.rs
6
41.14
0.32% src/encodings/card/simulators.rs
6
91.97
-0.83% src/instances/fio/opb.rs
6
0.0
0.0% tools/src/encodings/pb/facilitylocation.rs
5
91.7
0.21% src/encodings/pb/adder.rs
5
80.17
-3.46% tools/src/encodings/assignment.rs
4
55.2
-0.1% src/encodings/atomics.rs
4
81.1
1.27% src/encodings/totdb/mod.rs
4
52.74
0.23% src/instances/opt.rs
4
84.75
0.65% src/types/mod.rs
4
5.0
0.07% tools/src/bin/encodings.rs
4
64.52
-4.3% tools/src/encodings/facilitylocation.rs
3
70.51
-0.92% pigeons/src/ops.rs
3
44.66
2.45% src/instances/sat.rs
3
23.85
-0.75% tools/src/bin/gbmosplit.rs
2
64.3
-0.03% cadical/src/lib.rs
2
92.61
0.95% src/encodings/pb/dpw/mod.rs
2
0.0
0.0% tools/src/encodings/pb/assignment.rs
1
0.0
0.0% cadical/src/ffi/prooftracer.rs
1
75.84
1.19% pigeons/src/lib.rs
1
89.0
-0.86% solvertests/src/unit.rs
1
77.53
0.94% src/encodings/card/totalizer/mod.rs
1
0.0
0.0% src/encodings/pb/cert.rs
1
89.08
0.76% src/encodings/pb/gte/mod.rs
1
0.0
0.0% src/encodings/pb/gte/referenced.rs
1
96.04
1.91% src/encodings/totdb/cert.rs
1
87.6
0.35% src/instances/fio/mod.rs
1
27.17
-1.5% src/instances/multiopt.rs
1
70.25
2.66% src/solvers/mod.rs
1
58.02
0.9% src/types/constraints.rs
1
0.0
0.0% tools/src/bin/mo2ilp.rs
Jobs
ID Job ID Ran Files Coverage
1 36862754153.1 274
23.8
GitHub Action Run
Source Files on build 36862754153