add CI #4

Merged
muellerr merged 1 commits from add-ci into main 2025-11-28 10:38:26 +01:00