Skip to content

Merge PR #783 into 18.0 #2271

Merge PR #783 into 18.0

Merge PR #783 into 18.0 #2271

Triggered via push February 3, 2025 09:14
Status Success
Total duration 1m 7s
Artifacts

pre-commit.yml

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