Skip to content

Merge branch 'main' into merge_release/2.158.4 #6227

Merge branch 'main' into merge_release/2.158.4

Merge branch 'main' into merge_release/2.158.4 #6227

Triggered via push July 30, 2024 15:43
Status Success
Total duration 5m 57s
Artifacts

ci.yml

on: push
pre-commit
35s
pre-commit
markdown-link-check
57s
markdown-link-check
build-test
44s
build-test
doc-build-test
1m 36s
doc-build-test
find-dead-code
58s
find-dead-code
Matrix: Pylint test
Matrix: pyright
Matrix: Unit and integration tests
Fit to window
Zoom out
Zoom in