Skip to content

Merge branch 'jgfouca/fix_mpi_serial_link' into master (PR #5975) #107

Merge branch 'jgfouca/fix_mpi_serial_link' into master (PR #5975)

Merge branch 'jgfouca/fix_mpi_serial_link' into master (PR #5975) #107

Triggered via push October 10, 2023 16:41
Status Success
Total duration 1m 15s
Artifacts
Build-and-Deploy-docs
1m 3s
Build-and-Deploy-docs
Fit to window
Zoom out
Zoom in