w23-logic-2/.gitea/workflows
Josia Pietsch 513c04095e
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m6s
gitea ci
2023-10-17 21:06:56 +02:00
..
build.yaml gitea ci 2023-10-17 21:06:56 +02:00