Skip to content

Conversation

@jorenham
Copy link
Member

@jorenham jorenham commented Jan 7, 2026

This makes the "changes detected" message stand out more, so that it's not as easy to miss.

@github-actions
Copy link

github-actions bot commented Jan 7, 2026

mypy_primer results

No ecosystem changes detected ✅

@jorenham jorenham merged commit 6c16ef8 into master Jan 7, 2026
25 checks passed
@jorenham jorenham deleted the primer-comment-tweaks branch January 7, 2026 15:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants