9abf27e7397a5e7d380eab1eefc33d64f6809384
71%

Ran 19 Jul 2026 04:01PM UTC

Jobs 1

Files 33

Run time 1min

Badge

Embed ▾

Committed 19 Jul 2026 03:57PM UTC coverage: 71.359%. Remained the same

Build # 9abf27e7397a5e7d380eab1eefc33d64f6809384

Build Type

push

github

Committed by

dimitarvp

Commit Message

record A1+A2 dryness re-run in ledger

- Run 16: full panic census (A1) and locking-law call-site audit
  (A2) at HEAD. A2 holds — every sqlite3_* call proven under the
  connection mutex; zero findings, first clean covering run
- A1 surfaced and fixed the stream batch_size abort (S0); census
  otherwise clean (zero unwrap/panic/unreachable outside test code,
  all Drop impls poison-safe, all raw callbacks unwind-guarded)
- dryness: A2 one of two clean runs, A1 reset to zero by the fix

Coverage Stats

588 of 824 relevant lines covered (71.36%)

38.9 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	9abf27e7397a5e7d380eab1eefc33d64f6809384.1	19 Jul 2026 04:01PM UTC	33	71.36	GitHub Action Run

dimitarvp / xqlite / 9abf27e7397a5e7d380eab1eefc33d64f6809384
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 9abf27e7397a5e7d380eab1eefc33d64f6809384

dimitarvp / xqlite / 9abf27e7397a5e7d380eab1eefc33d64f6809384 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 9abf27e7397a5e7d380eab1eefc33d64f6809384

dimitarvp / xqlite / 9abf27e7397a5e7d380eab1eefc33d64f6809384
71%

README BADGES
x