16289647567
80%
master: 80%

Ran 15 Jul 2025 09:37AM UTC

Jobs 1

Files 34

Run time 1min

Badge

Embed ▾

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

Build # 16289647567

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 16289647567.1	15 Jul 2025 09:37AM UTC	34	80.35	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 16289647567

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 16289647567

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

README BADGES
x