1
80%
master: 80%

Ran 15 Jul 2025 09:40AM UTC

Files 34

Run time 1s

Badge

Embed ▾

Committed 15 Jul 2025 09:36AM UTC coverage: 80.345%. Remained the same

Job # 16289647567.1

Build Type

push

github

Committed by

web-flow

Commit Message

Replace `List.fold_left (||) false (List.map f lst)` with `List.exists f lst` (#6590)

It's an equivalent, but much cleaner construct, which in addition avoids
needlessly iterating over the list after the first match is found.

Run Details

3491 of 4345 relevant lines covered (80.35%)

0.8 hits per line

xapi-project / xen-api / 16289647567 / 1
80%
master: 80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job python3.11 - 16289647567.1

xapi-project / xen-api / 16289647567 / 1 80% master: 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job python3.11 - 16289647567.1

xapi-project / xen-api / 16289647567 / 1
80%
master: 80%

README BADGES
x