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

chrjabs / rustsat
61%
main: 60%

Build:
Build:
LAST BUILD BRANCH: renovate/patch-updates
DEFAULT BRANCH: main
Repo Added 22 Apr 2025 06:16AM UTC
Files 83
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 handle_empty_ranges
branch: handle_empty_ranges
CHANGE BRANCH
x
Reset
  • handle_empty_ranges
  • kissat
  • main
  • push-konmsqlksvml
  • push-koqxmxztstsx
  • push-krttopmpuypz
  • push-kwyyurvoznwk
  • push-lnqntvoxtpqn
  • 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

30 Jun 2025 11:20AM UTC coverage: 60.573% (+0.06%) from 60.51%
15971516285

Pull #418

github

web-flow
Merge 3c8f42e3f into 435c78799
Pull Request #418: Handle null pointers in empty ranges from solvers

39 of 46 new or added lines in 9 files covered. (84.78%)

14185 of 23418 relevant lines covered (60.57%)

47577.64 hits per line

Relevant lines Covered
Build:
Build:
23418 RELEVANT LINES 14185 COVERED LINES
47577.64 HITS PER LINE
Source Files on handle_empty_ranges
  • Tree
  • List 81
  • Changed 10
  • Source Changed 0
  • Coverage Changed 10
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
15971516285 handle_empty_ranges Merge 3c8f42e3f into 435c78799 Pull #418 30 Jun 2025 11:30AM UTC web-flow github
60.57
15965899636 handle_empty_ranges Merge 757c1a17b into 435c78799 Pull #418 30 Jun 2025 06:52AM UTC web-flow github
60.51
See All Builds (291)
  • 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

© 2025 Coveralls, Inc