Alexis Sellier 636d9e55ee ci: Remove `ci.yaml` ... We are no longer relying on GitHub CI.		2023-04-17 15:58:55 +02:00
..
workflows	ci: Remove `ci.yaml`	2023-04-17 15:58:55 +02:00