Skip to content

Merge PR #900 into 18.0 #2119

Merge PR #900 into 18.0

Merge PR #900 into 18.0 #2119

Triggered via push February 24, 2026 15:20
Status Success
Total duration 37s
Artifacts

pre-commit.yml

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