dev: delete extra file when running git-submodule --update #911

Sign in to view logs

Triggered via pull request January 18, 2024 08:55

giuseppe-steduto

synchronize #764

giuseppe-steduto:git-submodule-delete-when-updating

Status Success

Total duration 1m 25s

Artifacts –

ci.yml

on: pull_request

lint-commitlint

lint-shellcheck

lint-pydocstyle

lint-check-manifest

Matrix: python-tests