msakai / haskell-decision-diagrams / 227

Builds Branch Commit Type Ran Committer Via Coverage
227 main Merge pull request #33 from msakai/update-stack-lts-202208 push GitHub github-actions pending completion   set done
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 GitHub github-actions pending completion   set done
225 update-stack-lts-202208 fix doctest error on GHC-9.2 push Masahiro Sakai github-actions pending completion   set done
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 GitHub github-actions pending completion   set done
223 update-stack-lts-202208 update stackage snapshots push Masahiro Sakai github-actions pending completion   set done
222 main relax upper bound of vector to allow vector-0.13.0.0 push Masahiro Sakai github-actions pending completion   set done
220 update-stack-lts-202208 update stackage snapshots push Masahiro Sakai github-actions pending completion   set done
216 main remove Hackage CI badge push GitHub github-actions pending completion   set done
215 main relax upper bound of statistics to allow statistics-0.16.* push Masahiro Sakai github-actions pending completion   set done
214 main add license column to comparison table push GitHub github-actions pending completion   set done
213 main add "Dynamic variable reordering" to comparison table push GitHub github-actions pending completion   set done
212 main add to "Formal Methods" category push Masahiro Sakai github-actions pending completion   set done
211 main bump version to 0.3.0.0 push Masahiro Sakai github-actions pending completion   set done
210 HEAD release version 0.2.0.0 push Masahiro Sakai github-actions pending completion   set done
209 main update README.md push GitHub github-actions pending completion   set done