Skip to content

Merge PR #478 into 15.0 #1105

Merge PR #478 into 15.0

Merge PR #478 into 15.0 #1105

Triggered via push July 4, 2023 15:05
Status Success
Total duration 34s
Artifacts

pre-commit.yml

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