Skip to content

chore: add an option to manually run release workflow #6462

chore: add an option to manually run release workflow

chore: add an option to manually run release workflow #6462

Triggered via push November 15, 2024 16:06
Status Success
Total duration 4m 39s
Artifacts

ci.yml

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