1
53%
main: 53%

Ran 19 Jul 2024 11:06AM UTC

Files 219

Run time 6s

Badge

Embed ▾

Committed 19 Jul 2024 10:59AM UTC coverage: 54.186% (+0.01%) from 54.173%

Job # 10006956225.1

Build Type

push

github

Committed by

web-flow

Commit Message

Sizes of cursors and pages are integers in REST. (#3938)

This change addresses the problem of uint64 not being representable in
javascript, leading to a swagger definition of two numbers related to
cursors, namely `size` and `total_records`, having string type rather
than integer. Using a uint32 generates the desired type and is
sufficient for paging purposes.

This is a breaking change, which is why this commit contains changes
to CLI as well. For the record, the feature is currently under feature
flag.

Fixes #3934

Run Details

12329 of 22753 relevant lines covered (54.19%)

46.94 hits per line

stacklok / minder / 10006956225 / 1
53%
main: 53%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10006956225.1

stacklok / minder / 10006956225 / 1 53% main: 53%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10006956225.1

stacklok / minder / 10006956225 / 1
53%
main: 53%

README BADGES
x