msakai / pseudo-boolean / 132

Builds Branch Commit Type Ran Committer Via Coverage
132 HEAD release v0.1.12.0 push msakai github
91.83
131 v0.1.x Merge pull request #24 from msakai/backport/0.1/feature/PB24-format [backport] Generate #equal= hint and intsize= hint specified for PB24 competition push web-flow github
91.83
130 HEAD Merge 0fcff3bfe into 81e38085d push web-flow github
91.83
129 HEAD Merge 14693da8d into 81e38085d push web-flow github
91.83
127 master Merge pull request #23 from msakai/feature/PB24-format Generate #equal= hint and intsize= hint specified for PB24 competition push web-flow github
92.68
126 v0.1.x Merge pull request #22 from msakai/backport/0.1/fix/hint-hash-prefix [backport] Fix to generate correct hint push web-flow github
92.66
125 HEAD Merge 10c757786 into dcf34d795 push web-flow github
92.68
124 HEAD Merge 4639c5b29 into d42ac27e0 push web-flow github
92.66
123 master Merge pull request #20 from msakai/fix/hint-hash-prefix Fix to generate correct hint push web-flow github
93.29
122 v0.1.x Merge pull request #21 from msakai/backport/0.1/update-ci-202504 [backport] Update CI configurations (2025-04) push web-flow github
92.66
121 HEAD Merge ecca8d690 into c68b48468 push web-flow github
92.66
119 master GitHub Actions: use GHC-9.8 for coverage (cont'd) push web-flow github
93.29
115 v0.1.x Merge pull request #18 from msakai/backport/0.1/git-and-github Backport some updates related to git and GitHub Actions to v0.1.x push web-flow github
92.66
114 HEAD Merge 337bd4376 into 8d6c0efe4 push web-flow github
92.66
113 HEAD Merge 70cc1c836 into 8d6c0efe4 push web-flow github
92.66