chore(deps-dev): bump ruff from 0.12.12 to 0.13.0 #28125

Triggered via pull request September 10, 2025 20:26

labeled #7366

Status Success

Total duration 14s

Artifacts 1

record_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
pr Expired	6.25 KB	`sha256:2e11678134398e9e172a098e842e33eba335f822850e0d9ffd15e0a8cec33523`