Skip to content

Merge branch 'main' into improve_docs #165

Merge branch 'main' into improve_docs

Merge branch 'main' into improve_docs #165

Triggered via push June 24, 2024 14:17
Status Success
Total duration 11m 54s
Artifacts

ci.yml

on: push
Pre-commit Checks
28s
Pre-commit Checks
Mypy Type Checks
21s
Mypy Type Checks
Matrix: unit-tests
Fit to window
Zoom out
Zoom in