Jenkinsfile

xmos · Sep 22, 2023 · 0ff90a1 · 0ff90a1
1 parent d6c6fc2
commit 0ff90a1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -102,7 +102,8 @@ pipeline {
             withVenv {
               dir("doc/python") {
                 sh "python -m doc_asrc.py"
-                archiveArtifacts artifacts: "_build", allowEmptyArchive: true
+                sh "ls -lrt _build/*"
+                archiveArtifacts artifacts: "_build/**/*", allowEmptyArchive: true
               }
             }
           }