Skip to content

Remove outdated todo - #250

Open
QuinnCarisCapgemini wants to merge 1 commit into
mainfrom
remove-todo
Open

QuinnCarisCapgemini wants to merge 1 commit into
mainfrom
remove-todo

Conversation

@QuinnCarisCapgemini

Copy link
Copy Markdown
Collaborator

No description provided.

@FrancescoPezzella

FrancescoPezzella commented Oct 6, 2026 •

Copy link
Copy Markdown
Collaborator
Run uv run python tools/lint_budget.py --check
ruff: 2318 issues in 61 kinds, budget 2321
pyright: 6278 issues in 32 kinds, budget 6278

These kinds of issues improved:
  ruff FIX002: 46 issues, budget was 47 (-1)
  ruff TD002: 46 issues, budget was 47 (-1)
  ruff TD003: 45 issues, budget was 46 (-1)

lint-budget.json is out of date: run `python tools/lint_budget.py` and commit the lowered budgets.
Error: Process completed with exit code 1.

@pjljvandelaar Every time someone makes a new PR, they have to run this command manually and commit changes (causing unnecessary noise with each PR)? Wouldn't it make more sense to be an automatic part of the Ci/Cd or do it in a different way that doesn't require user input.

This branch has not been deployed

No deployments
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