Skip to content

Merge branch 'develop' into better_switch #117

Merge branch 'develop' into better_switch

Merge branch 'develop' into better_switch #117

Triggered via push December 18, 2023 15:47
Status Success
Total duration 1h 6m 16s
Artifacts
Matrix: C++/Python tests Ubuntu
Matrix: Notebook tests Ubuntu
Matrix: Python tests Ubuntu
Fit to window
Zoom out
Zoom in