chrjabs / rustsat / 15536510180

Builds Branch Commit Type Ran Committer Via Coverage
15536510180 release-plz-2025-05-30T21-45-46Z Merge babd164cd into 34c73df8f Pull #402 web-flow github
60.51
15536366964 main fix: incorrect parsing of DIMACS WCNF files with duplicate soft clauses (#409) - use `increase_soft_clause` now for correct handling push web-flow github
60.51
15535091030 wcnf-parsing Merge c546f35a1 into 4818df462 Pull #409 web-flow github
60.51
15522500334 renovate/lock-file-maintenance Merge 9dcdc66d6 into 4818df462 Pull #220 web-flow github
60.33
15522487881 release-plz-2025-05-30T21-45-46Z Merge 7de9b50de into 4818df462 Pull #402 web-flow github
60.33
15522265354 main chore(deps): update rust crate bindgen to 0.72.0 (#408) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push web-flow github
60.33
15519156537 renovate/bindgen-0.x Merge 2ea991f74 into ca511210c Pull #408 web-flow github
60.33
15504803398 release-plz-2025-05-30T21-45-46Z Merge 11bbf567d into ca511210c Pull #402 web-flow github
60.33
15504706777 main chore(deps): update rust crate flate2 to 1.1.2 (#407) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push web-flow github
60.33
15504606580 renovate/patch-updates Merge 643990177 into 6ab4ed551 Pull #407 web-flow github
60.33
15500233540 release-plz-2025-05-30T21-45-46Z Merge 073ec41c0 into 6ab4ed551 Pull #402 web-flow github
60.33
15500016534 main chore(deps): update rust crate cc to 1.2.26 (#406) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push web-flow github
60.33
15499767080 renovate/patch-updates Merge 6382e44d1 into 8e36ad98a Pull #406 web-flow github
60.33
15373684376 release-plz-2025-05-30T21-45-46Z Merge 9939a6506 into 8e36ad98a Pull #402 web-flow github
60.33
15373590763 main docs(pigeons): remove incorrect panics sections (#405) push web-flow github
60.33