CI update #55

Merged
muellerr merged 1 commits from ci-update into main 2025-02-17 11:26:12 +01:00
Owner
No description provided.
muellerr added 1 commit 2025-02-17 11:17:33 +01:00
muellerr merged commit 910ed58fdf into main 2025-02-17 11:26:12 +01:00
muellerr deleted branch ci-update 2025-02-17 11:26:13 +01:00
Sign in to join this conversation.
No description provided.