Lint PR

chore(deps): update pre-commit hook pre-commit/mirrors-mypy to v1.17.0 #2381

Sign in to view logs

Triggered via pull request July 21, 2025 15:30

opened #526

Status Success

Total duration 6s

Artifacts –

lint-pr.yml

on: pull_request_target

Validate PR title