msakai / toysolver
72%

DEFAULT BRANCH: master
Repo Added
Files 123
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x

coverage: 71.583% (+0.05%) from 71.538%
778

push

github

web-flow 
Merge pull request #198 from msakai/feature/ci-parallel-compilation

CI: Pass --ghc-options=-j to stack when builing toysolver package

11066 of 15459 relevant lines covered (71.58%)

0.72 hits per line

Relevant lines Covered
15459 RELEVANT LINES 11066 COVERED LINES
0.72 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
778 master Merge pull request #198 from msakai/feature/ci-parallel-compilation CI: Pass --ghc-options=-j to stack when builing toysolver package push web-flow github
71.58
773 master Merge pull request #197 from msakai/feature/replace-build-artifact-with-github-actions-script Replace misc/build_artifacts.hs with shell scripts in .github/workflows/build.yaml push web-flow github
71.54
769 master Merge pull request #196 from msakai/feature/warn-o-lines-for-pbs Warn if o-line(s) exist in a log for a PBS problem push web-flow github
71.74
765 master Merge pull request #194 from msakai/feature/release-linux-static-binaries Build statically linked Linux binaries push web-flow github
71.91
752 master Merge pull request #193 from msakai/update-stack-lts-202505 Update stack resolvers (2025-05) push web-flow github
71.84
750 master Merge pull request #192 from msakai/fix/converter-mip-type-default-warning Fix type defaulting warning in ToySolver.Converter.MIP push web-flow github
71.63
748 master Merge pull request #191 from msakai/feature/optimize-pb2ip Optimize pb2ip and wbo2ip by not calling convVar repeatedly push web-flow github
71.69
747 master Merge pull request #190 from msakai/ci-remove-unnecessary-steps Remove unnecessary steps from CI push web-flow github
71.57
744 master Merge pull request #189 from msakai/devin/1747291153-rename-lp-to-mip Rename --lp option to --mip and keep --lp as an alias push web-flow github
71.72
740 master Merge pull request #186 from msakai/cleanup-202505 Cleaning up (2025-05) push web-flow github
71.73
See All Builds (1496)