Closed MatteoPologruto closed 1 year ago
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
ldflags
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