chrjabs / rustsat / 18590439499

Builds Branch Commit Type Ran Committer Via Coverage
18590439499 push-lxpovstzrwtt Merge 1528965b2 into 750ab628e Pull #499 web-flow github
60.79
18590373967 main feat(kissat): version 4.0.4 push chrjabs github
60.82
18585301912 push-vppryrzqozuy Merge 750ab628e into e7f38c2b4 Pull #498 web-flow github
60.82
18442275190 main chore(deps): update install-pinned/maturin digest to 9f07e24 (#494) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push web-flow github
60.83
18442011515 renovate/patch-updates Merge e59fe27f6 into 9e0fd3ddb Pull #495 web-flow github
60.83
18442004624 renovate/install-pinned-maturin-digest Merge 54d4c49d7 into 9e0fd3ddb Pull #494 web-flow github
60.83
18421753610 renovate/python-3.x Merge e2bca85ce into 6b2f0bf1a Pull #496 web-flow github
60.83
18441582855 push-lltowoxrwxqz Merge a086183df into 04cf19bae Pull #497 web-flow github
60.83
18425223108 main chore(ci): ignore commit hash links in typo checking (#493) push web-flow github
60.83
18404095377 push-knlnuzwvzytz Merge a3555f411 into 6b2f0bf1a Pull #493 web-flow github
60.83
18403692235 main fix(solvers): deadlock in external solver the output pipe was not drained fully when an unsatisfiable result was encountered push chrjabs github
60.83
18400638552 push-xmooxtvwwxyq Merge 6b2f0bf1a into 8b66ace4d Pull #492 web-flow github
60.83
18382161157 main fix(ci): changelogs for C and Python API push chrjabs github
60.83
18381350429 main fix(ci): changelogs for C and Python API push chrjabs github
60.83
18380001626 main fix(ci): changelogs for C and Python API push chrjabs github
60.83