msakai / pseudo-boolean / 96

Builds Branch Commit Type Ran Committer Via Coverage
96 HEAD Merge 358dfddad into 1e6533a5e push web-flow github
93.63
95 stack-config-set-system-ghc GitHub Actions: use 'stack config' command for setting system-ghc configuration Pull #14 msakai github
93.63
94 master Merge pull request #13 from msakai/update-actions-202405 GitHub Actions: Update actions push web-flow github
93.63
93 HEAD Merge 1378cbc38 into 3272a6b9f push web-flow github
93.63
92 update-actions-202405 GitHub Actions: update actions Pull #13 msakai github
93.63
91 HEAD Merge 9eb359c92 into 3272a6b9f push web-flow github
93.67
90 feature/model-counting-and-enumeration support model counting and model enumeration Pull #12 msakai github
93.67
89 feature/model-counting-and-enumeration Merge pull request #11 from msakai/feature/any-relational-operator Allow parsing general relational operator push web-flow github
93.63
88 master Merge pull request #11 from msakai/feature/any-relational-operator Allow parsing general relational operator push web-flow github
93.63
87 HEAD Merge 54e5e7037 into 3349efa05 push web-flow github
93.63
86 feature/any-relational-operator update CHANGELOG.markdown Pull #11 msakai github
93.63
85 HEAD Merge 9fb36d49b into 3349efa05 push web-flow github
93.63
84 feature/any-relational-operator fix label for unicode relational operator Pull #11 msakai github
93.63
83 master update .gitignore push msakai github
93.15
82 HEAD Merge f1816b757 into 620a5d352 push web-flow github
93.63