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 5f07695744 .github CI fix

2026-07-14 11:53:33 +02:00

..

ci.yml

.github CI fix

2026-07-14 11:53:33 +02:00