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

Triggered via pull request September 11, 2025 07:54

closed #7366

Status Success

Total duration 9s

Artifacts 1

record_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
pr Expired	6.5 KB	`sha256:a707806ea5a8dfa1acce26a0e3f15790dbe9dc983c0d246adbf7711357e26644`