Skip to content

Merge branch 'release/v0.13.2' into develop #2457

Merge branch 'release/v0.13.2' into develop

Merge branch 'release/v0.13.2' into develop #2457

Triggered via push December 20, 2025 13:21
Status Success
Total duration 3m 45s
Artifacts

CI.yaml

on: push
Matrix: Check
Matrix: Test
Fit to window
Zoom out
Zoom in