Skip to content

Make it clearer how to fix lint errors#74

Merged
eifinger merged 1 commit intomainfrom
dist-mismatch-error-message
Feb 6, 2025
Merged

Make it clearer how to fix lint errors#74
eifinger merged 1 commit intomainfrom
dist-mismatch-error-message

Conversation

@eifinger
Copy link
Collaborator

@eifinger eifinger commented Feb 6, 2025

No description provided.

@eifinger eifinger added the ci Changes to automatic workflows label Feb 6, 2025
@eifinger eifinger force-pushed the dist-mismatch-error-message branch from 78a8a23 to 2108b33 Compare February 6, 2025 16:02
@eifinger eifinger merged commit 5f8cbe3 into main Feb 6, 2025
26 checks passed
@eifinger eifinger deleted the dist-mismatch-error-message branch February 6, 2025 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes to automatic workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant