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

Sign in to view logs

Triggered via pull request January 17, 2024 15:01

giuseppe-steduto

synchronize #764

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

Status Success

Total duration 1m 17s

Artifacts –

ci.yml

on: pull_request

lint-commitlint

lint-shellcheck

lint-pydocstyle

lint-check-manifest

Matrix: python-tests