Improve CI #181

Merged
schmelczer merged 2 commits from asch/fix-ci into main 2025-12-10 22:03:19 +00:00
No description provided.