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

msakai / haskell-decision-diagrams
88%

Build:
DEFAULT BRANCH: main
Repo Added 17 Oct 2021 08:21AM UTC
Files 4
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 main
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • HEAD
  • avoid-spurious-incomplete-patterns-warning
  • clean-up-tests
  • feature/algebra-coalgebra
  • feature/bdd-leaf
  • feature/bdd-more-ops
  • feature/bdd-sat
  • feature/bdd-uniform-sat
  • feature/callstack
  • feature/common-sig
  • feature/desc-order
  • feature/doc-test
  • feature/fixpoints
  • feature/fold-laziness
  • feature/graph
  • feature/more-ops
  • feature/num-nodes
  • feature/other-extensions
  • feature/restrictLaw-tests
  • feature/shared-graph-type
  • feature/signature-types
  • feature/unfold
  • feature/work-on-newtype-instead-of-node-type
  • feature/zdd-min-max
  • feature/zdd-subsets
  • feature/zdd-test-jdd
  • hide-node-type
  • main
  • ops-cleanup
  • refine-to-list
  • separate-and-bounds-dependencies
  • test
  • uniformM-test-no-quickcheck-monadic
  • update-stack-lts-202208
  • zdd-uniform-test-less-flaky

pending completion
227

push

github-actions

GitHub
Merge pull request #33 from msakai/update-stack-lts-202208

952 of 1085 relevant lines covered (87.74%)

0.88 hits per line

Relevant lines Covered
Build:
Build:
1085 RELEVANT LINES 952 COVERED LINES
0.88 HITS PER LINE
Source Files on main
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
227 main Merge pull request #33 from msakai/update-stack-lts-202208 push 21 Aug 2022 01:42AM UTC GitHub github-actions pending completion  
226 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/3e0963494">&lt;a href=&quot;https://github.com/msakai/haskell-decision-diagrams/commit/</a><a class="double-link" href="https://github.com/msakai/ha... push 21 Aug 2022 01:21AM UTC GitHub github-actions pending completion  
225 update-stack-lts-202208 fix doctest error on GHC-9.2 push 21 Aug 2022 01:12AM UTC Masahiro Sakai github-actions pending completion  
224 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/cc1e0e39f">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/c2fa1353452f8ebf02118d5207ee7a5607f1e26... push 21 Aug 2022 12:46AM UTC GitHub github-actions pending completion  
223 update-stack-lts-202208 update stackage snapshots push 21 Aug 2022 12:35AM UTC Masahiro Sakai github-actions pending completion  
222 main relax upper bound of vector to allow vector-0.13.0.0 push 20 Aug 2022 07:36AM UTC Masahiro Sakai github-actions pending completion  
220 update-stack-lts-202208 update stackage snapshots push 20 Aug 2022 07:28AM UTC Masahiro Sakai github-actions pending completion  
216 main remove Hackage CI badge push 12 Aug 2022 03:12PM UTC GitHub github-actions pending completion  
215 main relax upper bound of statistics to allow statistics-0.16.* push 23 Feb 2022 03:35PM UTC Masahiro Sakai github-actions pending completion  
214 main add license column to comparison table push 17 Dec 2021 02:31AM UTC GitHub github-actions pending completion  
See All Builds (205)
  • 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

© 2026 Coveralls, Inc