msakai / haskell-decision-diagrams / 81

Builds Branch Commit Type Ran Committer Via Coverage
81 main update docs push Masahiro Sakai github-actions pending completion   set done
80 main Merge pull request #9 from msakai/hide-node-type push GitHub github-actions pending completion   set done
79 HEAD Merge c742fcbed into 7482439e9 push GitHub github-actions pending completion   set done
78 HEAD Merge 43eef7ba4 into 7482439e9 push GitHub github-actions pending completion   set done
77 feature/graph define Show/Read instances in terms of using fromGraph push Masahiro Sakai github-actions pending completion   set done
76 hide-node-type stop exposing Node type push Masahiro Sakai github-actions pending completion   set done
75 main Merge pull request #7 from msakai/feature/restrictLaw-tests push GitHub github-actions pending completion   set done
74 HEAD Merge 94f8d8570 into 6aeae0a53 push GitHub github-actions pending completion   set done
73 feature/restrictLaw-tests add more tests on BDD.restrictLaw push Masahiro Sakai github-actions pending completion   set done
72 main Merge pull request #6 from msakai/feature/bdd-more-ops push GitHub github-actions pending completion   set done
71 main update README.md push GitHub github-actions pending completion   set done
70 HEAD Merge 83be68cc4 into 8c3196dd8 push GitHub github-actions pending completion   set done
69 feature/bdd-more-ops add BDD.ite push Masahiro Sakai github-actions pending completion   set done
67 feature/bdd-more-ops add BDD.ite push Masahiro Sakai github-actions pending completion   set done
68 HEAD Merge 7bd04e1be into 8c3196dd8 push GitHub github-actions pending completion   set done