Skip to content

Add linting tools - #19

Merged
flip-dots merged 7 commits into
mainfrom
add_linting_tools
Jun 29, 2026
Merged

Add linting tools#19
flip-dots merged 7 commits into
mainfrom
add_linting_tools

Merge branch 'main' into add_linting_tools

51b5c75
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
mypy (3.13)
failed Jun 29, 2026 in 1m 23s