2
87%
main: 87%

Ran 02 Nov 2025 08:27PM UTC

Files 73

Run time 2s

Badge

Embed ▾

Committed 02 Nov 2025 07:22PM UTC coverage: 86.078% (-0.5%) from 86.54%

Job # 19017013981.2

Build Type

push

github

Committed by

web-flow

Commit Message

Optimizations and improved FiniteNumber handling (#937)

* optimizations: move semantics
* explicit, static join
* separate finite domain operations from splitdbm

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

8755 of 10171 relevant lines covered (86.08%)

2203113.6 hits per line

vbpf / prevail / 19017013981 / 2
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 19017013981.2

vbpf / prevail / 19017013981 / 2 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 19017013981.2

vbpf / prevail / 19017013981 / 2
87%
main: 87%

README BADGES
x