msakai / haskell-decision-diagrams / 49

Builds Branch Commit Type Ran Committer Via Coverage
49 feature/bdd-more-ops add BDD.restrictLaw push Masahiro Sakai github-actions pending completion   set done
50 HEAD Merge d324a1252 into 8c3196dd8 push GitHub github-actions pending completion   set done
48 HEAD Merge 4287ecf46 into 8c3196dd8 push GitHub github-actions pending completion   set done
46 HEAD Merge ecd00a4e0 into 8c3196dd8 push GitHub github-actions pending completion   set done
45 feature/bdd-more-ops add BDD.restrict push Masahiro Sakai github-actions pending completion   set done
44 main Github Actions: disable fail-fast push Masahiro Sakai github-actions pending completion   set done
42 main Merge pull request #4 from msakai/feature/work-on-newtype-instead-of-node-type push GitHub github-actions pending completion   set done
43 main Merge pull request #5 from msakai/feature/zdd-min-max push GitHub github-actions pending completion   set done
38 feature/work-on-newtype-instead-of-node-type add haddock to BDD.Branch and ZDD.Branch push Masahiro Sakai github-actions pending completion   set done
40 feature/zdd-min-max add ZDD.findMinSum and ZDD.findMaxSum push Masahiro Sakai github-actions pending completion   set done
41 HEAD Merge c44c22b1b into c9f0cbbab push GitHub github-actions pending completion   set done
39 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/8ca639d42">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/2b0ce902c5aede424555559403567dd31b13269... push GitHub github-actions pending completion   set done
37 main Merge pull request #3 from msakai/separate-and-bounds-dependencies push GitHub github-actions pending completion   set done
36 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/93f9c3fc9">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/39d76b0785590de032e297d7aeac087f9892b5e... push GitHub github-actions pending completion   set done
35 feature/work-on-newtype-instead-of-node-type stop using internal modules in test suite push Masahiro Sakai github-actions pending completion   set done