-
Notifications
You must be signed in to change notification settings - Fork 8
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#125 In leanprover/reservoir;
Request: register iris-lean subdirectories
IrisandIrisMathA-registrationArea: Package registrations. PRs without this will not analyze registrations.Area: Package registrations. PRs without this will not analyze registrations.C-enhancementCategory: Issue requires a new feature.Category: Issue requires a new feature.Status: Open.#112 In leanprover/reservoir;Packages meeting all inclusion criteria not indexed — likely code-search discovery hitting the 1000-result cap
A-searchArea: Package search. PRs without this will skip searching.Area: Package search. PRs without this will skip searching.Status: Open.#109 In leanprover/reservoir;idea: opt-in list of github users who want their repos crawled
C-discussionCategory: Issue requires discussion.Category: Issue requires discussion.Status: Open.#81 In leanprover/reservoir;When the page is still loading, searching a package will redirect to index page
A-siteArea: Website.Area: Website.C-bugCategory: A bug.Category: A bug.Status: Open.Suggest
requireline on package pageC-enhancementCategory: Issue requires a new feature.Category: Issue requires a new feature.Status: Open.#59 In leanprover/reservoir;Supporting non-Github git hosts
C-enhancementCategory: Issue requires a new feature.Category: Issue requires a new feature.Status: Open.#56 In leanprover/reservoir;lean dependabot
C-enhancementCategory: Issue requires a new feature.Category: Issue requires a new feature.Status: Open.#21 In leanprover/reservoir;indexing projects that are not the root of the repository
A-indexArea: Package index. PRs without this will skip indexing.Area: Package index. PRs without this will skip indexing.C-enhancementCategory: Issue requires a new feature.Category: Issue requires a new feature.Status: Open.#13 In leanprover/reservoir;Building on "Latest stable" means it is impossible to ensure a package will build
C-discussionCategory: Issue requires discussion.Category: Issue requires discussion.Status: Open.#10 In leanprover/reservoir;