chrjabs / rustsat / 15079058540

Builds Branch Commit Type Ran Committer Via Coverage
15079058540 renovate/patch-updates Merge 50d5878cc into 603550af2 Pull #388 web-flow github
60.22
15079050421 renovate/install-pinned-maturin-digest Merge 333dc9b6b into 603550af2 Pull #387 web-flow github
60.22
15070652773 release-plz-2025-05-02T23-12-48Z Merge 474ccf537 into 603550af2 Pull #370 web-flow github
60.22
15070483473 push-wvsnzuwyswqt Merge 5f05580d3 into 603550af2 Pull #386 web-flow github
60.22
15070450968 main fix(pigeons): memory leak in `pigeons::Proof::end` since we intentionally aren't calling `drop` in `end`, memory from a string was leaked push chrjabs github
60.22
15070193914 push-uvxvyulrlmsy Merge 603550af2 into 60a6bbe68 Pull #385 web-flow github
60.22
15069583932 push-uvxvyulrlmsy Merge 2cb600f1a into 60a6bbe68 Pull #385 web-flow github
60.22
15069081360 release-plz-2025-05-02T23-12-48Z Merge d4b431087 into 60a6bbe68 Pull #370 web-flow github
59.6
15068973415 main docs: update minisat/glucose cpp source links (#384) push web-flow github
59.6
15064724636 release-plz-2025-05-02T23-12-48Z Merge 459f94bd2 into 0af66f94c Pull #370 web-flow github
59.6
15064559365 push-qnqvxzztxwom Merge 1b5004f07 into 0af66f94c Pull #384 web-flow github
59.6
15064505148 main test: increase test coverage for solvers (#382) push web-flow github
59.6
15064326146 release-plz-2025-05-02T23-12-48Z Merge 98e71a08d into 1f7250298 Pull #370 web-flow github
57.73
15064182912 push-qnqvxzztxwom Merge 7248e1b41 into 1f7250298 Pull #384 web-flow github
57.73
15064080879 main fix(glucose): uninitialized memory didn't see any issues from this in practice, but better to fix it push chrjabs github
57.73