Skip to content

Merge branch 'ci/fixes' #772

Merge branch 'ci/fixes'

Merge branch 'ci/fixes' #772

Triggered via push October 15, 2025 19:55
Status Success
Total duration 33s
Artifacts

pre-commit.yml

on: push
Check if fixes are needed
27s
Check if fixes are needed
Fit to window
Zoom out
Zoom in