Skip to content
ubuntu_openmpi

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

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 #241

Run time

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