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

msakai / data-interval
87%
master: 87%

Build:
Build:
LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Repo Added 01 Feb 2015 04:13AM UTC
Files 8
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: HEAD
CHANGE BRANCH
x
Reset
  • HEAD
  • appveyor
  • feature/integer-interval-internal
  • feature/interval-map
  • feature/interval-set
  • feature/intervalmap-strict
  • feature/isSingleton
  • feature/new-rep-integer-interval
  • feature/new-show-read
  • feature/other-extensions-multiwayif-and-safe
  • feature/remove-generic-instances
  • feature/semigroup
  • fix-TestIntervalMap-compilation-error
  • ghc80
  • ghc810
  • github-actions
  • hashable-1.3
  • integer-interval-both-closed
  • master
  • old-semigroups
  • realfloat
  • tests
  • travis-container
  • update-other-extentions
  • v1.3.0
  • v1.3.1
  • v2.0.0
  • v2.0.1

07 Jun 2025 03:57PM UTC coverage: 86.702%. Remained the same
79

push

github

web-flow
Merge 8a3e3189d into 81beacd5d

991 of 1143 relevant lines covered (86.7%)

0.87 hits per line

Relevant lines Covered
Build:
Build:
1143 RELEVANT LINES 991 COVERED LINES
0.87 HITS PER LINE
Source Files on HEAD
  • Tree
  • List 8
  • Changed 2
  • Source Changed 0
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
79 HEAD Merge 8a3e3189d into 81beacd5d push 07 Jun 2025 04:00PM UTC web-flow github
86.7
76 HEAD Merge cb783dae0 into 8f4ec0ead push 07 Jun 2025 02:35PM UTC web-flow github
86.35
74 HEAD Merge 0e36d5686 into 8f4ec0ead push 07 Jun 2025 02:25PM UTC web-flow github
86.79
28 HEAD Update changelog push 02 Nov 2021 08:42PM UTC Bodigrim github-actions pending completion  
23 HEAD <a href="https://github.com/msakai/data-interval/commit/348e2c4af">Merge </a><a class="double-link" href="https://github.com/msakai/data-interval/commit/3e3a3b194">3e3a3b194</a><a href=... push 30 Oct 2021 09:06PM UTC GitHub github-actions pending completion  
21 HEAD <a href="https://github.com/msakai/data-interval/commit/0a403d688">Merge </a><a class="double-link" href="https://github.com/msakai/data-interval/commit/bfd591ab9">bfd591ab9</a><a href=... push 25 Oct 2021 11:11PM UTC GitHub github-actions pending completion  
19 HEAD <a href="https://github.com/msakai/data-interval/commit/8dbdd1b3a">Merge </a><a class="double-link" href="https://github.com/msakai/data-interval/commit/db81d66f6">db81d66f6</a><a href=... push 21 Oct 2021 06:22PM UTC GitHub github-actions pending completion  
12 HEAD fix GitHub Actions badge on README.md push 14 Mar 2021 03:17PM UTC GitHub github-actions pending completion  
4 HEAD <a href="https://github.com/msakai/data-interval/commit/abc13fc1d">Merge </a><a class="double-link" href="https://github.com/msakai/data-interval/commit/bcf0c02e5">bcf0c02e5</a><a href=... push 12 Jan 2021 03:34AM UTC GitHub github-actions pending completion  
See All Builds (165)
  • 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