818
71%
master: 71%

Ran 19 Jun 2026 05:12AM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 19 Jun 2026 05:07AM UTC coverage: 70.172% (-0.7%) from 70.836%

Build # 818

Build Type

push

github

Committed by

Commit Message

Merge 185c092ab into f8b943f57

Coverage Stats

7 of 7 new or added lines in 1 file covered. (100.0%)

127 existing lines in 12 files now uncovered.

11238 of 16015 relevant lines covered (70.17%)

0.7 hits per line

Lines	Coverage	∆	File
63	36.56	-33.87%	src/ToySolver/SAT/PBO/BCD2.hs
27	56.67	-9.05%	src/ToySolver/SAT/PBO.hs
15	72.64	-0.33%	src/ToySolver/SAT/Solver/CDCL.hs
7	78.86	-0.82%	src/ToySolver/SMT.hs
4	72.99	-0.17%	src/ToySolver/Converter/PB.hs
3	44.23	0.0%	src/ToySolver/BitVector/Base.hs
2	57.97	-0.72%	src/ToySolver/QBF.hs
2	83.93	-1.79%	src/ToySolver/SAT/PBO/Context.hs
1	83.69	-0.71%	src/ToySolver/Arith/OmegaTest/Base.hs
1	76.54	-0.62%	src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs
1	75.08	-0.68%	src/ToySolver/Data/Polynomial/Base.hs
1	87.5	-3.13%	src/ToySolver/SAT/PBO/MSU4.hs

ID	Job ID	Ran	Files	Coverage
1	818.1	19 Jun 2026 05:12AM UTC	124	70.17	GitHub Action Run