Ci fixes #36

Merged
JustinZeus merged 2 commits from ci-fixes into main 2026-03-01 23:02:03 +01:00
No description provided.