Skip to content

Conversation

@ThomasWaldmann
Copy link
Collaborator

No description provided.

@ThomasWaldmann
Copy link
Collaborator Author

These changes were done by Junie AI and reviewed by me locally.

@ThomasWaldmann
Copy link
Collaborator Author

One thing i noticed: under .githubs/worksflows/, we have *.yml and *.yaml.

@dpgeorge
Copy link
Member

Looks reasonable to me.

Note that we use codespell in the main repo, as part of CI. It's good, but it doesn't catch everything.

@wnienhaus
Copy link
Collaborator

Looks good to me.
Re: .yml vs .yaml - it seems there is no "better" one, either will do. Looking at the GitHub Actions documentation, all their examples use .yml (even though the article starts by saying it doesnt matter). I could not find which of the two is more common overall.
So let's pick one of the two (personally I like .yaml). As I understand it, renaming should have no (negative) effect. Actions should continue working the same.

@ThomasWaldmann ThomasWaldmann merged commit 3b4a921 into micropython:master Nov 4, 2025
1 check passed
@ThomasWaldmann ThomasWaldmann deleted the typos-grammar branch November 4, 2025 20:26
@ThomasWaldmann
Copy link
Collaborator Author

Guess a separate PR for the yaml is better, didn't fit into this.

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.

3 participants