22569462568
94%

Ran 02 Mar 2026 09:24AM UTC

Jobs 1

Files 87

Run time 1min

Badge

Embed ▾

Committed 02 Mar 2026 09:22AM UTC coverage: 94.041%. Remained the same

Build # 22569462568

Build Type

push

github

Committed by

veeso

Commit Message

docs: set header_pages to empty list to fix flat nav menu

The minima theme defaults to showing all pages in the header
navigation when header_pages is not configured, resulting in
a flat, unstructured list of every doc page. Setting it to an
empty list keeps the header clean, relying on the index page
for structured navigation.

Run Details

11252 of 11965 relevant lines covered (94.04%)

239698.91 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	22569462568.1	02 Mar 2026 09:24AM UTC	87	94.04	GitHub Action Run

veeso / wasm-dbms / 22569462568
94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22569462568

veeso / wasm-dbms / 22569462568 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22569462568

veeso / wasm-dbms / 22569462568
94%

README BADGES
x