fix(dev): delete extra files when running git-submodule --update (#764) #29

Sign in to view logs

Triggered via push January 17, 2024 15:01

giuseppe-steduto

git-submodule-delete-when-updating

Status Success

Total duration 1m 21s

Artifacts –

ci.yml

on: push

lint-commitlint

lint-shellcheck

lint-pydocstyle

lint-check-manifest

Matrix: python-tests