Hi,Some Jenkins builds did not complete successfully and had errors: "No space left on device".
Example for my last PR #5772: https://jenkins.open-mpi.org/jenkins/job/open-mpi.build.distcheck/4296/console WBR, Mikhail Kurnosov --- Computer Systems Department Siberian State University of Telecommunications and Information Sciences _______________________________________________ devel mailing list [email protected] https://lists.open-mpi.org/mailman/listinfo/devel
