Skip to content
ubuntu_openmpi

remove DESTDIR from echo of make install #355

Sign in to view logs

remove DESTDIR from echo of make install

remove DESTDIR from echo of make install #355

Triggered via push July 6, 2025 15:26
@wkliaowkliao
pushed 22ab893
master
Status Success
Total duration 32m 17s
Artifacts –

ubuntu_openmpi.yml

on: push
build
32m 13s
build
Fit to window
Zoom out
Zoom in