786
72%

Ran 27 Jan 2026 01:28AM UTC

Jobs 1

Files 123

Run time 1min

Badge

Committed 27 Jan 2026 01:22AM UTC coverage: 71.04% (-0.7%) from 71.784%

Build # 786

Build Type

push

github

Committed by

Commit Message

Merge pull request #201 from msakai/add-claude-md

Add CLAUDE.md for Claude Code guidance

Run Details

10980 of 15456 relevant lines covered (71.04%)

0.71 hits per line

Lines	Coverage	∆	File
1	95.96	-0.45%	src/ToySolver/SAT/Encoder/Tseitin.hs
1	87.5	-3.13%	src/ToySolver/SAT/PBO/MSU4.hs
2	59.77	-1.15%	src/ToySolver/Arith/Cooper/Base.hs
2	45.31	0.31%	src/ToySolver/BitVector/Base.hs
2	83.93	-1.79%	src/ToySolver/SAT/PBO/Context.hs
2	84.85	-6.06%	src/ToySolver/SAT/PBO/UnsatBased.hs
3	72.65	-0.34%	src/ToySolver/Converter/PB.hs
4	78.71	0.23%	src/ToySolver/SMT.hs
10	57.97	-3.62%	src/ToySolver/QBF.hs
26	73.34	-0.53%	src/ToySolver/SAT/Solver/CDCL.hs
29	56.67	-12.86%	src/ToySolver/SAT/PBO.hs
64	33.87	-34.41%	src/ToySolver/SAT/PBO/BCD2.hs

ID	Job ID	Ran	Files	Coverage
1	786.1	27 Jan 2026 01:28AM UTC	123	71.04	GitHub Action Run