Skip to content

Merge branch 'dev' into improve-ressource-usage #1445

Merge branch 'dev' into improve-ressource-usage

Merge branch 'dev' into improve-ressource-usage #1445

Triggered via push February 6, 2025 14:53
Status Success
Total duration 10m 47s
Artifacts

actions.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in