Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
retrieve more than just 100 builds;
authorwenzelm
Sun, 30 Apr 2017 23:41:08 +0200
changeset 65651 2b78b7edf072
parent 65650 48ef286b847b
child 65652 349999526df3
retrieve more than just 100 builds;
src/Pure/Admin/jenkins.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/jenkins.scala	Sun Apr 30 23:11:51 2017 +0200
+++ b/src/Pure/Admin/jenkins.scala	Sun Apr 30 23:41:08 2017 +0200
@@ -55,9 +55,10 @@
     val Log_Session = new Regex("""^.*/log/([^/]+)\.gz$""")
 
     for {
-      build <- JSON.array(
-          invoke(root() + "/job/" + job_name, "tree=builds[number,timestamp,artifacts[*]]"), "builds")
-        .getOrElse(Nil)
+      build <-
+        JSON.array(
+          invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"),
+          "allBuilds").getOrElse(Nil)
       number <- JSON.int(build, "number")
       timestamp <- JSON.long(build, "timestamp")
     } yield {
isabelle