Skip to content

resync main and develop #1579

resync main and develop

resync main and develop #1579

Triggered via pull request November 28, 2023 10:07
Status Success
Total duration 3m 55s
Artifacts

ci_action.yml

on: pull_request
check-pre-commit-hooks
19s
check-pre-commit-hooks
check-code-mypy
1m 10s
check-code-mypy
mirror-to-gitlab
0s
mirror-to-gitlab
Matrix: test-on-github
Fit to window
Zoom out
Zoom in