Skip to content

Merge branch 'develop' of github.com:precice/micro-manager into develop #415

Merge branch 'develop' of github.com:precice/micro-manager into develop

Merge branch 'develop' of github.com:precice/micro-manager into develop #415

Triggered via push August 13, 2024 13:14
Status Success
Total duration 5m 3s
Artifacts
Run domain decomposition integration tests
4m 53s
Run domain decomposition integration tests
Run domain decomposition unit tests
4m 53s
Run domain decomposition unit tests
Fit to window
Zoom out
Zoom in