Skip to content

chore: update repo tooling - #69

Merged
cjumel merged 2 commits into
mainfrom
cj/ci
May 19, 2026
Merged

cjumel merged 2 commits into
mainfrom
cj/ci

Conversation

@cjumel

@cjumel cjumel commented May 19, 2026

Copy link
Copy Markdown
Contributor

Description

  • chore: enable lint checks in CI: Lint checks where not enable in our CI. This commit fixes this and run the linting/formating of all files.
  • chore: update repo tooling: This commit updates the repository tooling to be on par with our common
    practices:
    • update the make commands to follow the lint, typecheck, test split we have elsewhere
    • replace mypy with pyright in strict mode (just ignore the new errors for now)
    • update the ruff config

Checklist

  • I have installed prek on this project (for instance with the make install-dev command)
    before creating any commit, or I have run successfully the make format-lint command on my
    changes.
  • I have run successfully the make test command on my changes.
  • I have updated the README.md if my changes affected it.

@cjumel
cjumel marked this pull request as ready for review May 19, 2026 14:05
@cjumel
cjumel force-pushed the cj/ci branch 2 times, most recently from e313773 to 11728cc Compare May 19, 2026 15:04
@cjumel cjumel changed the title wip chore: update repo tooling May 19, 2026
cjumel added 2 commits May 19, 2026 17:08
Lint checks where not enable in our CI. This commit fixes this and run
the linting/formating of all files.
This commit update the repository tooling to be on par with our common
practices:
- update the `make` commands to follow the `lint`, `typecheck`, `test`
  split we have elsewhere
- replace mypy with pyright in strict mode (just ignore the new errors
  for now)
- update the ruff config
@cjumel
cjumel merged commit 7922036 into main May 19, 2026
3 checks passed
@cjumel
cjumel deleted the cj/ci branch May 19, 2026 15:44
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