msakai
/
data-interval
87%
DEFAULT BRANCH:
master
|
Repo Added
01 Feb 2015 04:13AM UTC
|
Total Files
8
|
# Builds
157
Last
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
master
branch: master
CHANGE BRANCH
x
-
master
-
travis-container
-
ghc80
-
feature/interval-set
-
feature/interval-map
-
feature/new-show-read
-
feature/intervalmap-strict
-
fix-TestIntervalMap-compilation-error
-
feature/semigroup
-
old-semigroups
-
v1.3.0
-
feature/integer-interval-internal
-
appveyor
-
feature/other-extensions-multiwayif-and-safe
-
hashable-1.3
-
v1.3.1
-
feature/new-rep-integer-interval
-
update-other-extentions
-
feature/isSingleton
-
integer-interval-both-closed
-
feature/remove-generic-instances
-
v2.0.0
-
v2.0.1
-
ghc810
-
github-actions
-
HEAD
-
tests
CHANGE BRANCH
x
-
master
- travis-container
- ghc80
- feature/interval-set
- feature/interval-map
- feature/new-show-read
- feature/intervalmap-strict
- fix-TestIntervalMap-compilation-error
- feature/semigroup
- old-semigroups
- v1.3.0
- feature/integer-interval-internal
- appveyor
- feature/other-extensions-multiwayif-and-safe
- hashable-1.3
- v1.3.1
- feature/new-rep-integer-interval
- update-other-extentions
- feature/isSingleton
- integer-interval-both-closed
- feature/remove-generic-instances
- v2.0.0
- v2.0.1
- ghc810
- github-actions
- HEAD
- tests
18 Jun 2022 - 16:38
coverage remained the same at 86.572%
push
github-actions
Bodigrim
980 of 1132 relevant lines covered (86.57%)
0.87 hits per line
Relevant lines Covered
1132
RELEVANT LINES
980
COVERED LINES
0.87
HITS PER LINE
Source Files on master
Recent Builds
| Builds | Branch | Coverage | Commit | Committer | Type | Time | Via |
|---|---|---|---|---|---|---|---|
| 32 | master |
86.57 |
Add lower bound for tasty-quickcheck | Bodigrim | push | 18 Jun 2022 04:38PM UTC | github-actions |
| 31 | master |
86.57 |
Regenerate CI | Bodigrim | push | 03 Nov 2021 11:45PM UTC | github-actions |
| 30 | master |
86.31 |
fix Interval docstring | Bodigrim | push | 03 Nov 2021 06:47PM UTC | github-actions |
| 28 | HEAD |
86.84 |
Update changelog | Bodigrim | push | 02 Nov 2021 08:42PM UTC | github-actions |
| 27 | master |
86.48 |
Update changelog | Bodigrim | push | 02 Nov 2021 08:40PM UTC | github-actions |
 |
Badge your Repo: data-intervalWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message. |
|
Embed ▾
Refresh
README BADGES
|
