This repository has been archived on 2025-02-18. You can view files and clone it, but cannot push or open issues or pull requests.

Sebastian Schmidt 5bb71e3083 Fix CI.

2023-06-01 15:46:40 +03:00

..

ci.yml

Fix CI.

2023-06-01 15:46:40 +03:00