Skip to content
ubuntu_openmpi

fix install path when DESTDIR is used in make install command line #239

Sign in to view logs

fix install path when DESTDIR is used in make install command line

fix install path when DESTDIR is used in make install command line #239

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
29m 26s
29m 26s