This repository has been archived on 2024-11-06. You can view files and clone it, but cannot push or open issues or pull requests.
python-api-server/.gitea
Michael Grote 8099838cf9
All checks were successful
lint, build and push / lint (push) Successful in 4s
lint, build and push / build (push) Successful in 28s
ci: remove duplicate checkout
2024-09-02 22:07:23 +02:00
..
workflows ci: remove duplicate checkout 2024-09-02 22:07:23 +02:00