This repository has been archived on 2026-10-06. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Robin Mueller a7d004b299 CI tweaks

2025-11-28 10:35:28 +01:00

..

ci.yml

CI tweaks

2025-11-28 10:35:28 +01:00