Skip to content

Docs: keep the source record pages out of the navigation tree - #44

Merged
jtravs merged 2 commits into
mainfrom
fix/docs-navigation
Nov 4, 2026
Merged

Docs: keep the source record pages out of the navigation tree#44
jtravs merged 2 commits into
mainfrom
fix/docs-navigation

Changelog: state the build's measured saving

24d4484
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Nov 4, 2026 in 1s

Coverage not affected when comparing 4289f28...24d4484

View this Pull Request on Codecov

Coverage not affected when comparing 4289f28...24d4484

View more details on Codecov