Skip to content

Merge PR #5015 into 18.0 #11887

Merge PR #5015 into 18.0

Merge PR #5015 into 18.0 #11887

Triggered via push November 28, 2025 09:17
Status Success
Total duration 51s
Artifacts

pre-commit.yml

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