chrjabs / rustsat

61%

main: 60%

LAST BUILD ON BRANCH push-lnqntvoxtpqn

branch: push-lnqntvoxtpqn

CHANGE BRANCH

x

Reset

• push-lnqntvoxtpqn
• handle_empty_ranges
• kissat
• main
• push-konmsqlksvml
• push-koqxmxztstsx
• push-krttopmpuypz
• push-kwyyurvoznwk
• push-lqxqrzuvzprn
• push-mxtukxmulpok
• push-nqsrmzmnvkwn
• push-nrqrqzqplxkk
• push-nrtowtkvpxss
• push-oromrkzltwsy
• push-ozpmmwnokzut
• push-qmrvoqqmoxzl
• push-qnqvxzztxwom
• push-qovoxzknxuwx
• push-rplnyrupznom
• push-rtspvkwloxsn
• push-stqnuknozzkl
• push-svruyqovpyzp
• push-syqowrxlzymt
• push-szxplkrmrwop
• push-tsvnlurtuuvt
• push-uvxvyulrlmsy
• push-uxsxkstmklqq
• push-wpnqlytyxonp
• push-wpokkpkwtxnn
• push-wvsnzuwyswqt
• push-wxqmkxlqytpu
• push-xsumxkkoqkkr
• push-xwuouynxpyqy
• push-ylmsrxzoqwqz
• push-ylnquylolywz
• push-ylzzyypzywwq
• push-ywttzopmryom
• push-yxsnyzsvyuyz
• push-zonknrzsvwwz
• push-zpwmsltqnyok
• release-plz-2025-04-04T23-15-10Z
• release-plz-2025-05-02T23-12-48Z
• release-plz-2025-05-30T21-45-46Z
• release-plz-2025-08-08T22-00-41Z
• renovate/actions-checkout-5.x
• renovate/actions-create-github-app-token-digest
• renovate/actions-labeler-6.x
• renovate/actions-setup-python-6.x
• renovate/actions-upload-pages-artifact-4.x
• renovate/bindgen-0.x
• renovate/bzip2-0.x
• renovate/cbindgen-0.x
• renovate/install-pinned-maturin-digest
• renovate/lock-file-maintenance
• renovate/major-github-artifact-actions
• renovate/minijinja-2.x
• renovate/patch-updates
• renovate/pyo3-0.x
• renovate/pyo3-build-config-0.x
• renovate/rust-1.x
• renovate/tempfile-3.x
• scuttle
• update-badges
• update-rust
• wcnf-parsing

Build # 16072561858

Build Type

Pull #425

github

Committed by web-flow

Commit Message

Merge 084c77eff into 260946103

Pull Request Pull Request #425: fix(ipasir/cadical): clause conversion in learner callback

Run Details

52 of 63 new or added lines in 4 files covered. (82.54%)

14248 of 23469 relevant lines covered (60.71%)

48255.92 hits per line