• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

msakai / pseudo-boolean
92%
master: 93%

Build:
Build:
LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Repo Added 23 May 2015 03:00PM UTC
Files 7
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 HEAD
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • HEAD
  • backport/0.1/git-and-github
  • cache-key-cabal-hash
  • ci-system-ghc
  • drop-older-env
  • feature/allow-empty-sum
  • feature/any-relational-operator
  • feature/dlist-0.8
  • feature/ghc-8.2
  • feature/ghc-8.6
  • feature/ghc-8.8
  • feature/ghc-9.0
  • feature/megaparsec-7
  • feature/megaparsec-8
  • feature/megaparsec6
  • feature/model-counting-and-enumeration
  • feature/objective-type
  • feature/parse-error
  • fix-megaparsec-4-monadplus
  • ghc-8.10.4-lts-17.10-lts-16.31
  • github-actions
  • github-actions-cleanup
  • github-actions-job-name
  • github-actions-sdist
  • master
  • relax-megaparsec-dlist-bytestring
  • stack-config-set-system-ghc
  • travis-ghc810
  • updata-ci-202408
  • update-actions-202405
  • update-ci-202110
  • update-ci-202403
  • v0.1.8.0
  • v0.1.9.0
  • v0.1.x

05 Apr 2025 09:55AM UTC coverage: 91.833%. Remained the same
132

push

github

msakai
release v0.1.12.0

506 of 551 relevant lines covered (91.83%)

0.92 hits per line

Relevant lines Covered
Build:
Build:
551 RELEVANT LINES 506 COVERED LINES
0.92 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
132 HEAD release v0.1.12.0 push 05 Apr 2025 10:04AM UTC msakai github
91.83
131 v0.1.x Merge pull request #24 from msakai/backport/0.1/feature/PB24-format [backport] Generate #equal= hint and intsize= hint specified for PB24 competition push 05 Apr 2025 02:12AM UTC web-flow github
91.83
130 HEAD Merge 0fcff3bfe into 81e38085d push 05 Apr 2025 01:56AM UTC web-flow github
91.83
129 HEAD Merge 14693da8d into 81e38085d push 05 Apr 2025 01:32AM UTC web-flow github
91.83
127 master Merge pull request #23 from msakai/feature/PB24-format Generate #equal= hint and intsize= hint specified for PB24 competition push 05 Apr 2025 12:19AM UTC web-flow github
92.68
126 v0.1.x Merge pull request #22 from msakai/backport/0.1/fix/hint-hash-prefix [backport] Fix to generate correct hint push 04 Apr 2025 04:36PM UTC web-flow github
92.66
125 HEAD Merge 10c757786 into dcf34d795 push 04 Apr 2025 04:35PM UTC web-flow github
92.68
124 HEAD Merge 4639c5b29 into d42ac27e0 push 04 Apr 2025 03:30PM UTC web-flow github
92.66
123 master Merge pull request #20 from msakai/fix/hint-hash-prefix Fix to generate correct hint push 04 Apr 2025 03:28PM UTC web-flow github
93.29
122 v0.1.x Merge pull request #21 from msakai/backport/0.1/update-ci-202504 [backport] Update CI configurations (2025-04) push 04 Apr 2025 02:56PM UTC web-flow github
92.66
See All Builds (194)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc