Skip to content

Add interfaces/documentation-search to floating-pages exceptions#6454

Merged
dhtclk merged 1 commit into
mainfrom
doc-108345-floating-pages-exception
Jun 26, 2026
Merged

Add interfaces/documentation-search to floating-pages exceptions#6454
dhtclk merged 1 commit into
mainfrom
doc-108345-floating-pages-exception

Conversation

@dhtclk

@dhtclk dhtclk commented Jun 26, 2026

Copy link
Copy Markdown
Collaborator

Step 1 of 2 for adding the /docs documentation-search Web UI page from ClickHouse/ClickHouse#108345.

The new page interfaces/documentation-search lives in the ClickHouse repo and isn't in an autogenerated sidebar folder, so the floating-pages check fails on #108345's docs CI. Per the style guide floating-pages process, this PR adds it to the exceptions list first to break the chicken-and-egg.

Safe to merge now — it only adds a path string; it does not reference a page that must already exist.

Sequence:

  1. ⬅️ This PR — add to floating-pages-exceptions.txt (merge first).
  2. #108345 docs check passes → #108345 merges.
  3. Follow-up (Add documentation-search page to the interfaces sidebar #6453) — remove this entry and add the page to sidebars.js.

Step 1 of adding the /docs Web UI page (ClickHouse/ClickHouse#108345):
excepts the new interfaces/documentation-search page from the
floating-pages check so the docs check on #108345 passes. Once #108345
merges, a follow-up PR removes this entry and adds the page to
sidebars.js.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@dhtclk dhtclk requested a review from a team as a code owner June 26, 2026 21:32
@vercel

vercel Bot commented Jun 26, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
clickhouse-docs Building Building Preview, Comment Jun 26, 2026 9:33pm
clickhouse-docs-jp Building Building Preview, Comment Jun 26, 2026 9:33pm
3 Skipped Deployments
Project Deployment Actions Updated (UTC)
clickhouse-docs-ko Ignored Ignored Preview Jun 26, 2026 9:33pm
clickhouse-docs-ru Ignored Ignored Preview Jun 26, 2026 9:33pm
clickhouse-docs-zh Ignored Ignored Preview Jun 26, 2026 9:33pm

Request Review

@dhtclk dhtclk merged commit 1b9ce6e into main Jun 26, 2026
16 of 17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant