Skip to content

Use short version in openmpi version set (#4) #12

Use short version in openmpi version set (#4)

Use short version in openmpi version set (#4) #12

This job succeeded