Skip to content

Merge PR #3590 into 18.0 #14776

Merge PR #3590 into 18.0

Merge PR #3590 into 18.0 #14776

Triggered via push October 9, 2025 06:56
Status Success
Total duration 53s
Artifacts

pre-commit.yml

on: push
pre-commit
50s
pre-commit
Fit to window
Zoom out
Zoom in