cli: fix graceful shutdown of start-scheduler
#1178
Triggered via pull request
September 26, 2023 13:25
mdonadoni
Status
Success
Total duration
3m 42s
Artifacts
–
ci.yml
on: pull_request
lint-shellcheck
13s
lint-black
12s
lint-flake8
9s
lint-pydocstyle
8s
lint-check-manifest
15s
docs-sphinx
3m 25s
python-tests
3m 28s
lint-dockerfile
11s
docker-build
2m 8s