add CI #5

Merged
muellerr merged 1 commits from add-ci into main 2025-07-22 10:09:08 +02:00