msakai / toysolver / 809

Builds Branch Commit Type Ran Committer Via Coverage
809 master Merge pull request #207 from msakai/stop-deriving-typeable push web-flow github
70.75
808 HEAD Merge d8d6f8c5a into f889bec6a push web-flow github
70.68
807 master Merge pull request #208 from msakai/drop-old-libraries Stop supporting old versions of libraries (aeson, array, hashable, optparse-applicative) push web-flow github
70.55
806 HEAD Merge 02bdcdeb8 into dda4b1322 push web-flow github
70.87
802 HEAD Merge 053a266a1 into dda4b1322 push web-flow github
70.82
801 master Merge pull request #206 from msakai/feature/language-smtlib-migration Migrate toysmt onto language-smtlib push web-flow github
70.85
800 HEAD Merge 26fb92635 into 8e2c3d526 push web-flow github
70.98
799 HEAD Merge 69a06dfa3 into 8e2c3d526 push web-flow github
70.73
798 master Merge pull request #205 from msakai/update-stack-lts-202605 Update stack resolvers (2026-05) push web-flow github
71.67
797 HEAD Merge 2564c0a1a into 36153c78c push web-flow github
71.46
796 HEAD Merge dccb86441 into 36153c78c push web-flow github
71.59
795 HEAD Merge 4c890f676 into 36153c78c push web-flow github
71.59
794 HEAD Merge 0f08b9243 into 36153c78c push web-flow github
71.57
793 HEAD Merge 981d9509e into 36153c78c push web-flow github
71.61
792 HEAD Merge c5e7cf110 into 36153c78c push web-flow github
71.92