229
77%

Ran 26 Jan 2025 01:07PM UTC

Jobs 1

Files 21

Run time 1min

Badge

Committed 26 Jan 2025 01:02PM UTC coverage: 76.327% (+0.09%) from 76.24%

Build # 229

Build Type

push

github

Committed by

Commit Message

Merge pull request #53 from msakai/feature/var-domains

Merge varType and varBounds fields of Problem into varDomains field

Run Details

38 of 46 new or added lines in 4 files covered. (82.61%)

1467 of 1922 relevant lines covered (76.33%)

0.76 hits per line

Lines	Coverage	∆	File
1	85.82	0.0%	MIP/src/Numeric/Optimization/MIP/LPFile.hs
1	88.7	0.02%	MIP/src/Numeric/Optimization/MIP/MPSFile.hs
6	56.22	1.08%	MIP/src/Numeric/Optimization/MIP/Base.hs

ID	Job ID	Ran	Files	Coverage
1	229.1	26 Jan 2025 01:07PM UTC	21	76.33	GitHub Action Run