Skip to content

Use hostname instead of hostid #944

Use hostname instead of hostid

Use hostname instead of hostid #944

build (ubuntu-latest, false, openmpi, mpi-ts, gfortran-12, clang)

succeeded Nov 7, 2024 in 2m 3s