Skip to content

Delete batch area manager from eo-grow #1781

Delete batch area manager from eo-grow

Delete batch area manager from eo-grow #1781

Triggered via pull request September 15, 2025 11:42
Status Success
Total duration 9m 49s
Artifacts

ci_action.yml

on: pull_request
check-pre-commit-hooks
21s
check-pre-commit-hooks
check-code-mypy
1m 25s
check-code-mypy
mirror-to-gitlab
mirror-to-gitlab
Matrix: test-on-github
Fit to window
Zoom out
Zoom in