11293490497
78%
master: 80%

Ran 11 Oct 2024 01:44PM UTC

Jobs 1

Files 37

Run time 1min

Badge

Embed ▾

Committed 11 Oct 2024 01:43PM UTC coverage: 78.279%. Remained the same

Build # 11293490497

Build Type

push

github

Committed by

web-flow

Commit Message

Replace fold with of_list in rbac (#6051)

Folding over a list to add its elements to a set (which is initially
empty) is operationally equivalent to calling of_list (of the set), but
potentially less efficient.

The implementation of of_list only uses `add` for small lists, e.g. the
cases for lists `[x_1; x_2; ...; x_N]` for all `N` in range `2 <= N <=
5` are matched literally and expanded to:
```
add x_N (... (add x_1 (singleton x_0)))
```
However, larger lists are first sorted and the underlying tree
representing the set is constructed directly.

---

This is a stray change I cherry-picked from another branch.

Run Details

3456 of 4415 relevant lines covered (78.28%)

0.78 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 11293490497.1	11 Oct 2024 01:44PM UTC	37	78.28	GitHub Action Run

xapi-project / xen-api / 11293490497
78%
master: 80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11293490497

xapi-project / xen-api / 11293490497 78% master: 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11293490497

xapi-project / xen-api / 11293490497
78%
master: 80%

README BADGES
x