Attempt to debug CI

ndenoyelle · NicolasDenoyelle · commit ff743eebeb73 · 2020-04-29T09:48:03.000-05:00
diff --git a/contrib/ci.inria.fr/Jenkinsfile-basic b/contrib/ci.inria.fr/Jenkinsfile-basic
@@ -41,6 +41,7 @@ pipeline {
 					}
 					archiveArtifacts artifacts: tarballgz+","+tarballbz2+",doc/doxygen-doc/hwloc-a4.pdf", fingerprint: true, onlyIfSuccessful: true
 					deleteDir()
+					archiveArtifacts artifacts: "build/utils/hwloc/test-suite.log", onlyIfSuccessful: false
 				}
 			}
 		}

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,7 @@ pipeline {`
`41`	`41`	`}`
`42`	`42`	`archiveArtifacts artifacts: tarballgz+","+tarballbz2+",doc/doxygen-doc/hwloc-a4.pdf", fingerprint: true, onlyIfSuccessful: true`
`43`	`43`	`deleteDir()`
	`44`	`+ archiveArtifacts artifacts: "build/utils/hwloc/test-suite.log", onlyIfSuccessful: false`
`44`	`45`	`}`
`45`	`46`	`}`
`46`	`47`	`}`