minor CI update #58

Merged

muellerr merged 1 commits from minor-ci-update into main 2025-02-14 16:43:03 +01:00

Conversation 0 Commits 1 Files Changed 1 +2 -2

1 Commits

Author	SHA1	Message	Date
Robin Mueller	97da2a0752	minor CI update	2025-02-14 16:40:58 +01:00