dev: delete extra file when running git-submodule --update #899
giuseppe-stedutoci.yml
on: pull_request
lint-shellcheck
14s
lint-black
12s
lint-flake8
8s
lint-pydocstyle
9s
lint-check-manifest
6s
docs-sphinx
1m 3s
lint-helm
13s
Matrix: python-tests