Skip to content

Merge branch 'dev' into ci/add_workflows #145

Merge branch 'dev' into ci/add_workflows

Merge branch 'dev' into ci/add_workflows #145

Triggered via push June 5, 2024 08:35
Status Success
Total duration 34s
Artifacts
build_backend_and_check_codestyle
25s
build_backend_and_check_codestyle
Fit to window
Zoom out
Zoom in