CI

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

Sign in to view logs

Triggered via pull request December 7, 2023 08:31

giuseppe-steduto

synchronize #764

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

Status Success

Total duration 2m 59s

Artifacts –

ci.yml

on: pull_request

lint-shellcheck

lint-pydocstyle

lint-check-manifest

Matrix: python-tests