4
100%
main: 100%

Ran 26 Oct 2023 09:48PM UTC

Files 4

Run time 0s

Badge

Embed ▾

Committed 26 Oct 2023 09:41PM UTC coverage: 100.0%. Remained the same

Job # 6660117561.4

Build Type

push

github

Committed by

lpenz

Commit Message

Optimize movement by clearing old index and "coloring" new one

Better than regenerating the list every time, even though it didn't
improve man's page performance all that much.

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

lpenz / ptfuzzmenu / 6660117561 / 4
100%
main: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job python-3.12 - 6660117561.4

lpenz / ptfuzzmenu / 6660117561 / 4 100% main: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job python-3.12 - 6660117561.4

lpenz / ptfuzzmenu / 6660117561 / 4
100%
main: 100%

README BADGES
x