Skip to content

Conversation

@dido18
Copy link
Contributor

@dido18 dido18 commented Dec 17, 2025

Motivation

Change description

Additional Notes

Reviewer checklist

  • PR addresses a single concern.
  • PR title and description are properly filled.
  • Changes will be merged in main.
  • Changes are covered by tests.
  • Logging is meaningful in case of troubleshooting.

Comment on lines +36 to +37
- name: Add Go bin to PATH
run: echo "${HOME}/go/bin" >> $GITHUB_PATH
Copy link
Contributor

Choose a reason for hiding this comment

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

is this needed?

dido18 and others added 3 commits December 17, 2025 15:22
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
@dido18 dido18 merged commit 5deb69a into main Dec 17, 2025
7 checks passed
@dido18 dido18 deleted the add-openapi-workflow branch December 17, 2025 14:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants