• 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
  • Tree
  • List 7
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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 · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc