16073824625
61%

Ran 04 Jul 2025 12:37PM UTC

Jobs 1

Files 81

Run time 1min

Badge

Committed 04 Jul 2025 12:30PM UTC coverage: 60.71% (+0.1%) from 60.573%

Build Type

push

github

Committed by

Commit Message

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

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

Lines	Coverage	∆	File
1	98.98	-0.12%	solvertests/src/integration.rs
10	0.0	0.0%	ipasir/src/lib.rs

ID	Job ID	Ran	Files	Coverage
1	16073824625.1	04 Jul 2025 12:37PM UTC	81	60.71	GitHub Action Run