8000 Add CI workflows to enhance the dev experience · Issue #127 · arduino/arduino-language-server · GitHub
[go: up one dir, main page]
Skip to content

Add CI workflows to enhance the dev experience #127

New issue
Jump to bottom
Closed
umbynos opened this issue Jul 29, 2022 · 4 comments
Closed

Add CI workflows to enhance the dev experience #127

umbynos opened this issue Jul 29, 2022 · 4 comments
Assignees
@MatteoPologruto
Labels
conclusion: resolved Issue was resolved topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Comments

@umbynos
Copy link
Contributor
umbynos commented Jul 29, 2022

Add some checks workflows to this repo to enhance the developer experience and to catch common problems:
@umbynos umbynos added topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement labels Jul 29, 2022
@per1234
Copy link
Contributor
per1234 commented Jul 29, 2022

@umbynos @MatteoPologruto. I have already prepared the work for https://github.com/arduino/tooling-project-assets/blob/main/workflow-templates/check-go-dependencies-task.md last year, but have been blocked on its completion waiting for an answer to a question. See #7218 in the internal issue tracker for details.

The other workflows will be super valuable additions to the project though.

@umbynos
Copy link
Contributor Author
umbynos commented Aug 1, 2022

Thanks Per, I'll see what I can do about it

@MatteoPologruto
Copy link
Contributor

Check workflows additions:

Minor updates:

@per1234
Copy link
Contributor
per1234 commented Aug 4, 2022 •
edited
Loading

Thanks so much for your excellent work Matteo.

Since we already have a dedicated issue in the internal tracker for adding the remaining workflow, I will close this as resolved.

@per1234 per1234 closed this as completed Aug 4, 2022
@per1234 per1234 added the conclusion: resolved Issue was resolved label Aug 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MatteoPologruto MatteoPologruto

Labels
conclusion: resolved Issue was resolved topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@per1234 @umbynos @MatteoPologruto
0