• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

chrjabs / rustsat
61%
main: 61%

Build:
Build:
LAST BUILD BRANCH: push-myroyvpuuwmv
DEFAULT BRANCH: main
Repo Added 22 Apr 2025 06:16AM UTC
Files 85
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH push-myroyvpuuwmv
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • handle_empty_ranges
  • kissat
  • main
  • push-knlnuzwvzytz
  • push-kolkluqospzk
  • push-konmsqlksvml
  • push-koqxmxztstsx
  • push-krttopmpuypz
  • push-kwyyurvoznwk
  • push-lltowoxrwxqz
  • push-lnqntvoxtpqn
  • push-lqxqrzuvzprn
  • push-lxpovstzrwtt
  • push-mxtukxmulpok
  • push-myroyvpuuwmv
  • push-nqsrmzmnvkwn
  • push-nrqrqzqplxkk
  • push-nrtowtkvpxss
  • push-omxvsuzsylmq
  • push-ooopuuykosop
  • push-oromrkzltwsy
  • push-ozpmmwnokzut
  • push-qmrvoqqmoxzl
  • push-qnqvxzztxwom
  • push-qovoxzknxuwx
  • push-rplnyrupznom
  • push-rrlsmmmzmsnr
  • push-rtspvkwloxsn
  • push-rulxzwtovmnk
  • push-rvmonvyzxtmn
  • push-slsvpwulnmnq
  • push-stqnuknozzkl
  • push-svruyqovpyzp
  • push-syqowrxlzymt
  • push-szxplkrmrwop
  • push-tkqmpxkkswwk
  • push-tnrrknlqwlmo
  • push-tsvnlurtuuvt
  • push-urqqspunqpxv
  • push-uuxkuxwvvupv
  • push-uvvvpmtltskz
  • push-uvxvyulrlmsy
  • push-uvylmzkxnrsp
  • push-uxsxkstmklqq
  • push-uxtpxnysnzvn
  • push-vppryrzqozuy
  • push-wpnqlytyxonp
  • push-wpokkpkwtxnn
  • push-wvsnzuwyswqt
  • push-wxqmkxlqytpu
  • push-xmooxtvwwxyq
  • push-xmowlnqoktoq
  • push-xsumxkkoqkkr
  • push-xwuouynxpyqy
  • push-ylmsrxzoqwqz
  • push-ylnquylolywz
  • push-ylzzyypzywwq
  • push-ywttzopmryom
  • push-yxsnyzsvyuyz
  • push-zonknrzsvwwz
  • push-zpwmsltqnyok
  • push-zsrvwpmtvmnk
  • 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
  • release-plz-2025-09-06T01-46-56Z
  • release-plz-2025-10-18T11-12-26Z
  • renovate/actions-checkout-5.x
  • renovate/actions-checkout-6.x
  • renovate/actions-checkout-digest
  • renovate/actions-create-github-app-token-digest
  • renovate/actions-labeler-6.x
  • renovate/actions-setup-python-6.x
  • renovate/actions-setup-python-digest
  • 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/python-3.x
  • renovate/rust-1.x
  • renovate/signal-hook-0.x
  • renovate/tempfile-3.x
  • scuttle
  • scuttle-work
  • update-badges
  • update-rust
  • wcnf-parsing

19 Jan 2026 02:44PM UTC coverage: 60.826%. Remained the same
21141646333

Pull #555

github

web-flow
Merge 7c730a5a9 into 3b313ff05
Pull Request #555: CaDiCaL compiler/platform feature config via environment variables

13518 of 22224 relevant lines covered (60.83%)

132501.0 hits per line

Relevant lines Covered
Build:
Build:
22224 RELEVANT LINES 13518 COVERED LINES
132501.0 HITS PER LINE
Source Files on main
  • Tree
  • List 85
  • Changed 51
  • Source Changed 1
  • Coverage Changed 51
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21141646333 push-myroyvpuuwmv Merge 7c730a5a9 into 3b313ff05 Pull #555 19 Jan 2026 03:25PM UTC web-flow github
60.83
21117310943 main chore(deps): update rust crate thiserror to 2.0.18 (#557) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push 18 Jan 2026 07:33PM UTC web-flow github
60.83
21116946604 renovate/patch-updates Merge 7dd3be29d into 8458167f6 Pull #557 18 Jan 2026 07:26PM UTC web-flow github
60.83
21086197935 main chore(deps): update patch updates (#556) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push 17 Jan 2026 01:42AM UTC web-flow github
60.83
21085569302 renovate/patch-updates Merge df6a534f7 into 53c85ccd7 Pull #556 17 Jan 2026 01:35AM UTC web-flow github
60.83
20988262208 push-myroyvpuuwmv Merge db1c49356 into 53c85ccd7 Pull #555 14 Jan 2026 09:28AM UTC web-flow github
60.83
20956017346 main feat(cadical): version 2.2.1 push 13 Jan 2026 12:11PM UTC chrjabs github
60.83
20953542923 push-uxtpxnysnzvn Merge 53c85ccd7 into 43d8e7a0b Pull #554 13 Jan 2026 11:29AM UTC web-flow github
60.83
20898803682 main chore(deps): update install-pinned/maturin digest to 2b1e63c (#553) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> push 11 Jan 2026 05:14PM UTC web-flow github
60.83
20898743439 renovate/install-pinned-maturin-digest Merge bcdd640a0 into 5d8802f37 Pull #553 11 Jan 2026 05:08PM UTC web-flow github
60.83
See All Builds (438)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc