22569006319
94%
main: 94%

Ran 02 Mar 2026 09:11AM UTC

Jobs 1

Files 87

Run time 1min

Badge

Embed ▾

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

Build # 22569006319

Build Type

Pull #57

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.

Pull Request Pull Request #57: docs: set header_pages to empty list to fix flat nav menu

Run Details

11252 of 11965 relevant lines covered (94.04%)

239698.91 hits per line

Jobs

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

veeso / wasm-dbms / 22569006319
94%
main: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22569006319

veeso / wasm-dbms / 22569006319 94% main: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22569006319

veeso / wasm-dbms / 22569006319
94%
main: 94%

README BADGES
x