msakai
/
pseudo-boolean
94%
master: 94%
master: 94%
|
Repo Added
|
Files
7
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
github-actions
branch: github-actions
CHANGE BRANCH
x
-
github-actions
-
master
-
v0.1.x
-
feature/dlist-0.8
-
feature/ghc-8.2
-
feature/megaparsec6
-
feature/parse-error
-
feature/megaparsec-7
-
v0.1.8.0
-
feature/ghc-8.6
-
fix-megaparsec-4-monadplus
-
v0.1.9.0
-
feature/megaparsec-8
-
feature/ghc-8.8
-
travis-ghc810
-
relax-megaparsec-dlist-bytestring
-
HEAD
-
github-actions-cleanup
-
github-actions-sdist
-
feature/allow-empty-sum
-
ghc-8.10.4-lts-17.10-lts-16.31
-
feature/ghc-9.0
-
github-actions-job-name
-
update-ci-202110
-
update-ci-202403
-
ci-system-ghc
-
drop-older-env
-
feature/objective-type
-
feature/any-relational-operator
-
feature/model-counting-and-enumeration
-
update-actions-202405
-
stack-config-set-system-ghc
-
cache-key-cabal-hash
-
updata-ci-202408
CHANGE BRANCH
x
-
github-actions
- master
- v0.1.x
- feature/dlist-0.8
- feature/ghc-8.2
- feature/megaparsec6
- feature/parse-error
- feature/megaparsec-7
- v0.1.8.0
- feature/ghc-8.6
- fix-megaparsec-4-monadplus
- v0.1.9.0
- feature/megaparsec-8
- feature/ghc-8.8
- travis-ghc810
- relax-megaparsec-dlist-bytestring
- HEAD
- github-actions-cleanup
- github-actions-sdist
- feature/allow-empty-sum
- ghc-8.10.4-lts-17.10-lts-16.31
- feature/ghc-9.0
- github-actions-job-name
- update-ci-202110
- update-ci-202403
- ci-system-ghc
- drop-older-env
- feature/objective-type
- feature/any-relational-operator
- feature/model-counting-and-enumeration
- update-actions-202405
- stack-config-set-system-ghc
- cache-key-cabal-hash
- updata-ci-202408
push
github-actions
Masahiro Sakai
492 of 525 relevant lines covered (93.71%)
0.94 hits per line
Relevant lines Covered
525
RELEVANT LINES
492
COVERED LINES
0.94
HITS PER LINE
Source Files on github-actions
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 9 | github-actions | GitHub Actions: add GHC-8.4.4 to build matrix | push | Masahiro Sakai | github-actions | pending completion | |
| 8 | github-actions | GitHub Actions: pass shc --repo-token option | push | Masahiro Sakai | github-actions | pending completion | |
| 102 | github-actions | use GitHub Actions | push |  msakai |
travis-ci | pending completion | |
| 101 | github-actions | use GitHub Actions | push | msakai |
travis-ci | pending completion |