Merge separate extras into a single one #1971
Triggered via pull request
September 6, 2023 14:14
mlubej
Status
Success
Total duration
12m 18s
Artifacts
–
ci_action.yml
on: pull_request
check-pre-commit-hooks
26s
check-code-pylint-and-mypy
3m 27s
mirror-and-integration-test-on-gitlab
0s
Matrix: test-on-github