Skip to content

Merge branch 'main' into petsc #7040

Merge branch 'main' into petsc

Merge branch 'main' into petsc #7040

Triggered via push October 30, 2025 09:39
Status Success
Total duration 8m 31s
Artifacts

examples-mpi.yml

on: push
Matrix: Examples with mpi
Fit to window
Zoom out
Zoom in