Skip to content

Merge pull request #4875 from reuterk/fix_mpi_comm_free #1675

Merge pull request #4875 from reuterk/fix_mpi_comm_free

Merge pull request #4875 from reuterk/fix_mpi_comm_free #1675

Triggered via push April 26, 2024 17:39
Status Success
Total duration 10m 19s
Artifacts
tests with bleeding-edge crucial deps
10m 7s
tests with bleeding-edge crucial deps
Create issue on failure
0s
Create issue on failure
Fit to window
Zoom out
Zoom in