some CI cleanup and updates #135

Merged
june merged 2 commits from ci into main 2026-05-02 00:00:43 +02:00