Skip to content

Merge PR #762 into 18.0 #816

Merge PR #762 into 18.0

Merge PR #762 into 18.0 #816

Triggered via push August 12, 2025 09:02
Status Success
Total duration 1m 16s
Artifacts

pre-commit.yml

on: push
Fit to window
Zoom out
Zoom in