Repository navigation

Check the documentation extension's search without JavaScript - #8

Merged

bonelifer merged 4 commits into

mainfrom

documentation-no-js-search

Oct 7, 2026

Merged

Check the documentation extension's search without JavaScript#8
bonelifer merged 4 commits into
mainfrom
documentation-no-js-search

Commits on Oct 6, 2026
- Use the configured docs build path in the documentation check
  
  bonelifer
  and
  claude
  committed
  5ff3b69
- Check the documentation extension's search without JavaScript
  
  bonelifer
  and
  claude
  committed
  69a5bc4
Commits on Oct 7, 2026
- Merge remote-tracking branch 'origin/main' into documentation-no-js-search
  bonelifer
  committed
  c6d9c74
- Start the documentation check from an empty build directory
  
  bonelifer
  and
  claude
  committed
  d8c5d2c