635
72%

Ran 26 Feb 2025 03:36AM UTC

Jobs 1

Files 120

Run time 1min

Badge

Committed 26 Feb 2025 03:28AM UTC coverage: 71.286% (-0.02%) from 71.306%

Build # 635

Build Type

push

github

Committed by

Commit Message

Merge pull request #155 from msakai/fix-build-yaml-parse-error

Fix parse error of .github/workflows/build.yaml

Run Details

10710 of 15024 relevant lines covered (71.29%)

0.71 hits per line

Lines	Coverage	∆	File
1	70.37	-1.23%	src/ToySolver/Data/LA.hs
1	81.16	-1.45%	src/ToySolver/EUF/EUFSolver.hs
1	79.4	-0.43%	src/ToySolver/SAT/Types.hs
2	79.67	-1.63%	src/ToySolver/Arith/FourierMotzkin/Base.hs
2	69.56	0.18%	src/ToySolver/Converter/PB.hs
2	78.6	0.12%	src/ToySolver/SMT.hs
4	68.28	-2.15%	src/ToySolver/SAT/PBO/BCD2.hs
4	73.62	0.37%	src/ToySolver/SAT/Solver/CDCL.hs
13	60.48	-6.19%	src/ToySolver/SAT/PBO.hs

ID	Job ID	Ran	Files	Coverage
1	635.1	26 Feb 2025 03:36AM UTC	120	71.29	GitHub Action Run