CI update #55

Merged
muellerr merged 1 commits from ci-update into main 2025-02-17 11:26:12 +01:00