807
71%

Ran 09 Jun 2026 11:07AM UTC

Jobs 1

Files 124

Run time 1min

Badge

Committed 09 Jun 2026 11:01AM UTC coverage: 70.555% (-0.3%) from 70.851%

Build # 807

Build Type

push

github

Committed by

Commit Message

Merge pull request #208 from msakai/drop-old-libraries

Stop supporting old versions of libraries (aeson, array, hashable, optparse-applicative)

Coverage Stats

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

67 existing lines in 11 files now uncovered.

11324 of 16050 relevant lines covered (70.55%)

0.71 hits per line

Lines	Coverage	∆	File
34	53.33	-16.19%	src/ToySolver/SAT/PBO.hs
13	76.64	-1.5%	src/ToySolver/SMT.hs
5	72.32	-0.5%	src/ToySolver/Converter/PB.hs
3	44.69	-0.94%	src/ToySolver/BitVector/Base.hs
2	83.28	-0.1%	src/ToySolver/Converter/MIP.hs
2	95.52	-0.9%	src/ToySolver/SAT/Encoder/Tseitin.hs
2	70.43	-1.08%	src/ToySolver/SAT/PBO/BCD2.hs
2	84.85	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
2	73.05	0.12%	src/ToySolver/SAT/Solver/CDCL.hs
1	83.69	-0.71%	src/ToySolver/Arith/OmegaTest/Base.hs
1	75.45	-0.3%	src/ToySolver/Data/Polynomial/Base.hs

ID	Job ID	Ran	Files	Coverage
1	807.1	09 Jun 2026 11:08AM UTC	124	70.55	GitHub Action Run