FStarLang / FStarLang/FStar

The wiki's page search seems to only search by page keyword

Open
#3,603 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
F*
Stars
3.1k
Forks
266
Avg merge
21h 1m
Merged PRs (30d)
54

Description

The docs suggest that this should work. I can't see where page search is configured.
But it should find all pages that have any keyword by default please.

Contributor guide

Open the contributing guide

Research direction

Start by reading the documentation's page-search guidance and reproduce the wiki search behavior described in the issue. Locate where wiki page search is configured, then verify that a default search considers pages by their keywords and finds the expected pages. Done means the documented behavior and the actual default search behavior agree.

Written by the indexing model from the issue text.

Assessment

Domain
documentation
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.