Report mpi timers at end of run

Branch: feature/report_mpi_timers

Branch: 8.1-RC

Merged

#552 · Created 2021-11-11 · Last updated 2021-11-19

Merged pull request

Merged in feature/report_mpi_timers (pull request #552)

b752e68·Author: David Dickinson·Closed by: David Dickinson·2021-11-19

Uses new functionality in utils to record MPI time as a source for additional information in our usual timer report.