Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Index Builtins Suggestions #1575

Merged
merged 7 commits into from
Mar 17, 2021
Merged

Index Builtins Suggestions #1575

merged 7 commits into from
Mar 17, 2021

Conversation

4e6
Copy link
Contributor

@4e6 4e6 commented Mar 13, 2021

Pull Request Description

close #1548

PR enables suggestions indexing for the Builtins module.

Changelog:

  • feat: index Builtins
  • feat: add runtime flags that enable suggestions indexing of the project files and external libraries
  • refactor: tests for suggestion updates into a separate test-suite

Important Notes

Checklist

Please include the following checklist in your PR:

  • The documentation has been updated if necessary.
  • All code conforms to the Scala, Java, and Rust style guides.
  • All documentation and configuration conforms to the markdown and YAML style guides.
  • All code has been tested where possible.

@4e6 4e6 added Type: Bug p-high Should be completed in the next sprint labels Mar 13, 2021
@4e6 4e6 self-assigned this Mar 13, 2021
@4e6 4e6 merged commit 35a0db1 into main Mar 17, 2021
@4e6 4e6 deleted the wip/db/index-builtins branch March 17, 2021 10:07
iamrecursion pushed a commit that referenced this pull request Mar 19, 2021
PR enables suggestions indexing for
the Builtins module
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
p-high Should be completed in the next sprint
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Some Builtins Like Ref Or Java Are Missing From Suggestion Database
2 participants