Skip to content

Merge branch 'main' into petsc #8918

Merge branch 'main' into petsc

Merge branch 'main' into petsc #8918

Triggered via push October 30, 2025 09:39
Status Success
Total duration 43m 33s
Artifacts
Matrix: pytest-mpi
Matrix: pytest-mpi
Fit to window
Zoom out
Zoom in