Repository navigation

Fix unnecessary 'pyright: ignore' warning in CI - #13101

Closed

srittau wants to merge 6 commits into

python:mainfrom

srittau:warning-fix

Closed

Fix unnecessary 'pyright: ignore' warning in CI#13101
srittau wants to merge 6 commits into
python:mainfrom
srittau:warning-fix

Commits on Nov 25, 2024
- Fix unnecessary 'pyright: ignore' warning in CI
  srittau
  committed
  cc79f78
- revert
  srittau
  committed
  e7bb14a
- Try a workaround
  srittau
  committed
  6550d2c
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  032ce3d
- Install tomli
  srittau
  committed
  c8fde86
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  7a9f5b3