Skip to content

Changed when the build runs with or without the lib discovery #122

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 3 commits into from
Closed

Changed when the build runs with or without the lib discovery #122

wants to merge 3 commits into from

Conversation

kittaakos
Copy link
Contributor

Signed-off-by: Akos Kitta a.kitta@arduino.cc

Please check if the PR fulfills these requirements

  • What kind of change does this PR introduce?
  • What is the current behavior?
  • What is the new behavior?
  • Other information:

cmaglie and others added 2 commits June 20, 2022 15:50
@cmaglie
Language server now skips libraries detection while editing
2d7539c 
A full build is made only at language server startup.
Other full builds must be performed by the IDE and build_path should be
passed to the LS with a custom command.
init
fb9ce10 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
@kittaakos kittaakos mentioned this pull request Jun 24, 2022
Merged
3 tasks
log cache update.
1b1c4e2 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
@cmaglie cmaglie force-pushed the speed_improvements branch 3 times, most recently from 8d531b9 to 98c8115 Compare July 5, 2022 13:32
@cmaglie
Copy link
Member

cmaglie commented Jul 5, 2022

Superseded by #118

@cmaglie cmaglie closed this Jul 5, 2022
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself conclusion: duplicate Has already been submitted labels Jul 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@kittaakos @cmaglie @per1234