CI fix and naming improvement #249

Merged
muellerr merged 1 commits from example-ci-fix into main 2025-09-06 19:40:18 +02:00
Owner
No description provided.
muellerr added 1 commit 2025-09-06 19:37:15 +02:00
muellerr merged commit 2e58a311c8 into main 2025-09-06 19:40:18 +02:00
muellerr deleted branch example-ci-fix 2025-09-06 19:40:18 +02:00
Sign in to join this conversation.
No description provided.