Skip to content

Run linter and type checker in CI#12

Merged
edgarrmondragon merged 2 commits intomainfrom
ci/lint-mypy
Aug 20, 2025
Merged

Run linter and type checker in CI#12
edgarrmondragon merged 2 commits intomainfrom
ci/lint-mypy

Commits

Commits on Aug 19, 2025

Commits on Aug 20, 2025