Skip to content

Upstream merge 2025 06 05 #572

Upstream merge 2025 06 05

Upstream merge 2025 06 05 #572

Triggered via pull request June 5, 2025 17:01
Status Success
Total duration 7m 10s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in