Skip to content

[CI] Make workflow/step names more consistent - #16177

Merged
srittau merged 2 commits into
python:mainfrom
srittau:ci-names
Aug 10, 2026
Merged

[CI] Make workflow/step names more consistent#16177
srittau merged 2 commits into
python:mainfrom
srittau:ci-names

Conversation

@srittau

@srittau srittau commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator

I'm sometimes confused about what each test does, because the names aren't always that clear. This is an attempt to improve this, but all further suggestions welcome!

Before:

Bildschirmfoto vom 2026-08-10 14-21-36

After:

Bildschirmfoto vom 2026-08-10 14-39-24

Comment thread .github/workflows/mypy_primer.yml Outdated
@@ -1,4 +1,4 @@
name: Run mypy_primer
name: Mypy Primer

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I think the official name of the tool is mypy_primer -- I can't see any references to "Mypy Primer" in the README!

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

That was mostly an aesthetic choice to match the other names. Not married to it, although I would recommend starting with an uppercase letter.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I think we should use the styling projects use for themselves. mypy_primer appears to never be capitalized and always uses an underscore (ty has similar styling FWIW 😄)

@github-actions

This comment has been minimized.

@srittau
srittau marked this pull request as ready for review August 10, 2026 12:45
@srittau

srittau commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator Author

CI failures are unrelated.

@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau
srittau merged commit c380ecc into python:main Aug 10, 2026
125 of 127 checks passed
@srittau
srittau deleted the ci-names branch August 10, 2026 13:22
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