Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Migrate project infrastructure to Task #417

Merged
merged 10 commits into from
Oct 7, 2024
Merged

Migrate project infrastructure to Task #417

merged 10 commits into from
Oct 7, 2024

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Oct 7, 2024

The Task tool is used as the standard way to perform common development operations in Arduino tooling projects. This project is hereby brought into alignment with that convention.

@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Oct 7, 2024
@per1234 per1234 self-assigned this Oct 7, 2024
@codecov-commenter
Copy link

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@per1234 per1234 merged commit f68c663 into arduino:main Oct 7, 2024
21 checks passed
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