Skip to content

ci: add mypy and ruff#673

Merged
da-tanabe merged 1 commit into
mainfrom
ci-add-mypy-and-ruff
May 29, 2026
Merged

ci: add mypy and ruff#673
da-tanabe merged 1 commit into
mainfrom
ci-add-mypy-and-ruff

Conversation

@da-tanabe
Copy link
Copy Markdown
Collaborator

@da-tanabe da-tanabe commented May 29, 2026

Add mypy and ruff (just some basic python tools).

I also removed the unneeded extra PATH settings, because nix handles this automatically.

@da-tanabe da-tanabe requested a review from danielporterda May 29, 2026 19:24
@da-tanabe da-tanabe enabled auto-merge (squash) May 29, 2026 19:24
@da-tanabe da-tanabe merged commit c83219f into main May 29, 2026
2 checks passed
@da-tanabe da-tanabe deleted the ci-add-mypy-and-ruff branch May 29, 2026 20:10
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