Skip to content

Merge PR #760 into 18.0 #2749

Merge PR #760 into 18.0

Merge PR #760 into 18.0 #2749

Triggered via push September 2, 2025 11:51
Status Success
Total duration 28s
Artifacts

pre-commit.yml

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