Skip to content

docs: explicitly enable MkDocs search - #269

Merged
lesnik512 merged 1 commit into
mainfrom
docs/explicit-mkdocs-search
Nov 3, 2026
Merged

lesnik512 merged 1 commit into
mainfrom
docs/explicit-mkdocs-search

Conversation

@lesnik512

Copy link
Copy Markdown
Member

List search explicitly so future additions to the MkDocs plugin list preserve documentation search. Verified that MkDocs loads the search plugin.

@github-actions

github-actions Bot commented Nov 3, 2026

Copy link
Copy Markdown

Benchmark gate

✅ gate passed

scenario msg/s delete/msg WALrec/msg WALB/msg fpi upd del dead_tup
consumer/w1/b10 1285 1.000 6.72 922 242 5000 5000 10000
consumer/w1/b100 1413 1.000 7.11 1154 243 5000 5000 10000
consumer/w2/b10 1534 1.000 6.72 923 242 5000 5000 10000
consumer/w2/b100 1839 1.000 7.11 1154 243 5000 5000 10000
consumer/w4/b10 1643 1.000 6.80 985 262 5000 5000 10000
consumer/w4/b100 1872 1.000 7.11 1156 244 5000 5000 10000
consumer/w1/b100/tfbs100 5469 0.010 6.11 1130 243 5000 5000 10000
consumer/w1/b100/interval1-10 1406 1.000 7.11 1154 243 5000 5000 10000
producer/w1/b100 3013 0.000 3.04 597 1 0 0 0
producer/w1/b100/ppt1 979 0.000 4.04 635 0 0 0 0

Gated (fails the build): delete_calls + tuple counters (upd/del/ins) + the producer's insert_calls, exact; select_calls and other_calls within +2; wal_records within a 10% band; fetch_calls within 2x. msg/s, WAL bytes and total calls are informational (timing/FPI noise).

@lesnik512
lesnik512 merged commit 0d4ab60 into main Nov 3, 2026
15 checks passed
@lesnik512
lesnik512 deleted the docs/explicit-mkdocs-search branch November 3, 2026 04:06
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