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: SELECT
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
774 HEAD Merge 9564a3d89 into f0183a294 push web-flow github
71.28
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
772 HEAD Merge 3d6f9bbdf into 3970d356f push web-flow github
71.69
771 HEAD Merge ca4ec2d27 into 3970d356f push web-flow github
71.6
770 HEAD Merge 9bcb132cd into 3970d356f push web-flow github
71.89
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
768 HEAD Merge 5ed5094c2 into c10d256d2 push web-flow github
71.7
767 HEAD Merge f4d92f6d1 into c10d256d2 push web-flow github
71.85
766 HEAD Merge 9b032e06d into c10d256d2 push web-flow github
71.69
See All Builds (1496)