CI

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

Sign in to view logs

Triggered via pull request December 6, 2023 11:32

giuseppe-steduto

opened #764

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

Status Success

Total duration 1m 15s

Artifacts –

ci.yml

on: pull_request

lint-shellcheck

lint-pydocstyle

lint-check-manifest

Matrix: python-tests