msakai
/
pseudo-boolean
92%
master: 93%
master: 93%
|
Repo Added
|
Files
7
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
HEAD
branch: HEAD
CHANGE BRANCH
x
-
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
CHANGE BRANCH
x
-
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
coverage: 91.833%. Remained the same
push
github
506 of 551 relevant lines covered (91.83%)
0.92 hits per line
Relevant lines Covered
551
RELEVANT LINES
506
COVERED LINES
0.92
HITS PER LINE
Source Files on HEAD
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 132 | HEAD | release v0.1.12.0 | push |  msakai |
github |
91.83 |
|
| 130 | HEAD | Merge 0fcff3bfe into 81e38085d | push |  web-flow |
github |
91.83 |
|
| 129 | HEAD | Merge 14693da8d into 81e38085d | push | web-flow |
github |
91.83 |
|
| 125 | HEAD | Merge 10c757786 into dcf34d795 | push | web-flow |
github |
92.68 |
|
| 124 | HEAD | Merge 4639c5b29 into d42ac27e0 | push | web-flow |
github |
92.66 |
|
| 121 | HEAD | Merge ecca8d690 into c68b48468 | push | web-flow |
github |
92.66 |
|
| 114 | HEAD | Merge 337bd4376 into 8d6c0efe4 | push | web-flow |
github |
92.66 |
|
| 113 | HEAD | Merge 70cc1c836 into 8d6c0efe4 | push | web-flow |
github |
92.66 |
|
| 112 | HEAD | Merge e0b23d507 into 8d6c0efe4 | push | web-flow |
github |
92.66 |
|
| 110 | HEAD | Merge 9657a377c into 8d6c0efe4 | push | web-flow |
github |
92.66 |