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

msakai / haskell-decision-diagrams / 111

Builds Branch Commit Type Ran Committer Via Coverage
111 main fix haddock not to mention BDD.F and BDD.T push 06 Nov 2021 07:52AM UTC Masahiro Sakai github-actions pending completion   set done
110 feature/signature-types introduce Sig types to BDD and ZDD push 06 Nov 2021 07:43AM UTC Masahiro Sakai github-actions pending completion   set done
109 main Merge pull request #15 from msakai/feature/bdd-leaf push 06 Nov 2021 07:36AM UTC GitHub github-actions pending completion   set done
107 feature/bdd-leaf update ChangeLog.md push 06 Nov 2021 07:22AM UTC Masahiro Sakai github-actions pending completion   set done
108 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/37cafbde5">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/f9f4b7e6cf2cd02c0be8bab8bc24e3c27f407ed... push 06 Nov 2021 07:20AM UTC GitHub github-actions pending completion   set done
106 main Merge pull request #14 from msakai/clean-up-tests push 04 Nov 2021 01:40PM UTC GitHub github-actions pending completion   set done
105 feature/bdd-leaf add Leaf pattern to BDD push 04 Nov 2021 12:05PM UTC Masahiro Sakai github-actions pending completion   set done
104 main relax upperbound of hashable to allow hashable-1.4.0.0 push 04 Nov 2021 11:55AM UTC Masahiro Sakai github-actions pending completion   set done
103 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/a44b0608b">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/2e6a3c62106093ed90ab3d9b050cd9b0adbf8e6... push 04 Nov 2021 11:41AM UTC GitHub github-actions pending completion   set done
102 clean-up-tests remove test code in Data.DecisionDiagram.BDD push 04 Nov 2021 11:40AM UTC Masahiro Sakai github-actions pending completion   set done
101 main Add Hackage related badges on README.md push 04 Nov 2021 12:18AM UTC GitHub github-actions pending completion   set done
100 main bump version number to 0.2.0.0 push 04 Nov 2021 12:18AM UTC Masahiro Sakai github-actions pending completion   set done
99 main Merge pull request #13 from msakai/feature/zdd-test-jdd push 03 Nov 2021 04:08PM UTC GitHub github-actions pending completion   set done
98 HEAD add test cases from jdd push 03 Nov 2021 03:57PM UTC Masahiro Sakai github-actions pending completion   set done
97 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/cb17d9bb4">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/628f97c8426ffb12287fe5d5c93e8439fd7702b... push 03 Nov 2021 03:49PM UTC GitHub github-actions pending completion   set done
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • Next →
  • Back to Repo
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