Skip to content

Conversation

@MatteoPologruto
Copy link
Contributor

Please check if the PR fulfills these requirements

  • What kind of change does this PR introduce?

Infrastructure enhancement

  • What is the new behavior?

The workflows are now up to date with their upstream template.

  • Other information:

Test release: https://github.com/MatteoPologruto/arduino-language-server/releases/tag/123.123.123


@MatteoPologruto MatteoPologruto added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels May 16, 2023
@MatteoPologruto MatteoPologruto self-assigned this May 16, 2023
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.

🥇

@MatteoPologruto MatteoPologruto merged commit 038fd91 into arduino:main May 23, 2023
@MatteoPologruto MatteoPologruto deleted the deprecate-set-output branch May 23, 2023 12:50
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