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 devel@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/devel