Skip to content

Conversation

@MatteoPologruto
Copy link
Contributor

@MatteoPologruto MatteoPologruto commented Oct 18, 2022

Please check if the PR fulfills these requirements

What kind of change does this PR introduce?

Infrastructure enhancement

What is the current behavior?

The Language Server's version (ServerInfo) has to be manually set to the new one during the release process.

What is the new behavior?

The Language Server's version will be automatically updated using ldflags. The version will also be printed in the log when a new Arduino Language Server is configured.
The changes were tested in this release: https://github.com/MatteoPologruto/arduino-language-server/releases/tag/99.99.99


@MatteoPologruto MatteoPologruto added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Oct 18, 2022
@MatteoPologruto MatteoPologruto self-assigned this Oct 18, 2022
@MatteoPologruto MatteoPologruto changed the title Update ls release version automatically Update ls release version automatically using ldflags Oct 18, 2022
Copy link
Contributor

@umbynos umbynos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Left some comments 🦅

Copy link
Contributor

@umbynos umbynos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we can remove the i18n stuff

@MatteoPologruto MatteoPologruto merged commit b9bbe20 into arduino:main Oct 19, 2022
@MatteoPologruto MatteoPologruto deleted the version-update branch October 19, 2022 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants