Skip to content

chore: use dev dependencies correctly#464

Merged
miketheman merged 1 commit intomainfrom
dev-deps
Apr 5, 2026
Merged

chore: use dev dependencies correctly#464
miketheman merged 1 commit intomainfrom
dev-deps

Conversation

@miketheman
Copy link
Copy Markdown
Owner

No description provided.

Signed-off-by: Mike Fiedler <miketheman@gmail.com>
@miketheman miketheman added the github_actions Pull requests that update GitHub Actions code label Apr 5, 2026
@miketheman miketheman merged commit 0b3639c into main Apr 5, 2026
22 checks passed
@miketheman miketheman deleted the dev-deps branch April 5, 2026 23:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant