Skip to content

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

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

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

Triggered via push August 13, 2024 13:14
Status Success
Total duration 5m 0s
Artifacts
Run adaptivity integration tests
4m 49s
Run adaptivity integration tests
Run adaptivity unit tests in serial
4m 40s
Run adaptivity unit tests in serial
Run adaptivity unit tests in parallel
4m 51s
Run adaptivity unit tests in parallel
Fit to window
Zoom out
Zoom in