Skip to content

Merge branch 'dev' into bugfix #16333

Merge branch 'dev' into bugfix

Merge branch 'dev' into bugfix #16333

Triggered via push December 1, 2025 16:16
Status Success
Total duration 16s
Artifacts

ruff.yml

on: push
ruff-linting
12s
ruff-linting
Fit to window
Zoom out
Zoom in