add CI #4

Merged
muellerr merged 1 commits from add-ci into main 2025-11-28 10:38:26 +01:00
Owner
No description provided.
muellerr force-pushed add-ci from f50c1419e6 to bd5e2cc020 2025-11-28 10:38:07 +01:00 Compare
muellerr merged commit 4068277c42 into main 2025-11-28 10:38:26 +01:00
muellerr deleted branch add-ci 2025-11-28 10:38:26 +01:00
Sign in to join this conversation.