{ "_class" : "hudson.model.FreeStyleBuild", "actions" : [ { "_class" : "hudson.model.CauseAction", "causes" : [ { "_class" : "hudson.triggers.SCMTrigger$SCMTriggerCause", "shortDescription" : "Started by an SCM change" } ] }, { }, { }, { "_class" : "jenkins.metrics.impl.TimeInQueueAction", "blockedDurationMillis" : 0, "blockedTimeMillis" : 0, "buildableDurationMillis" : 4, "buildableTimeMillis" : 4, "buildingDurationMillis" : 12704742, "executingTimeMillis" : 12704742, "executorUtilization" : 1.0, "subTaskCount" : 0, "waitingDurationMillis" : 124800, "waitingTimeMillis" : 124800 }, { }, { }, { "_class" : "hudson.plugins.mercurial.MercurialTagAction", "mercurialNodeName" : "c4a1088d008180bfd82ff93a32e709778518f25b", "mercurialRevisionBranch" : None, "mercurialRevisionNumber" : "75652", "subdir" : None }, { "_class" : "hudson.plugins.mercurial.MercurialTagAction", "mercurialNodeName" : "18281e769389ad099e843726599d17a3df51e04f", "mercurialRevisionBranch" : None, "mercurialRevisionNumber" : "12782", "subdir" : "afp" }, { }, { }, { "_class" : "hudson.plugins.disk_usage.BuildDiskUsageAction" }, { }, { }, { "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction" } ], "artifacts" : [ ], "building" : False, "description" : None, "displayName" : "#3735", "duration" : 12704742, "estimatedDuration" : 1094709, "executor" : None, "fullDisplayName" : "isabelle-all #3735", "id" : "3735", "inProgress" : False, "keepLog" : False, "number" : 3735, "queueId" : 2339, "result" : "SUCCESS", "timestamp" : 1657055647062, "url" : "https://ci.isabelle.systems/jenkins/job/isabelle-all/3735/", "builtOn" : "workermtahpc", "changeSet" : { "_class" : "org.jenkinsci.plugins.multiplescms.MultiSCMChangeLogSet", "items" : [ { "_class" : "hudson.plugins.mercurial.MercurialChangeSet", "affectedPaths" : [ "NEWS", "src/HOL/Transitive_Closure.thy" ], "commitId" : "c4a1088d008180bfd82ff93a32e709778518f25b", "timestamp" : 1657036492000, "addedPaths" : [ ], "author" : { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/desharna", "fullName" : "desharna" }, "date" : "1657036492.0-7200", "deletedPaths" : [ ], "merge" : False, "modifiedPaths" : [ "NEWS", "src/HOL/Transitive_Closure.thy" ], "msg" : "added lemmas total_on_trancl and totalp_on_tranclp", "node" : "c4a1088d008180bfd82ff93a32e709778518f25b", "rev" : 75652 } ], "kind" : "hg" }, "culprits" : [ { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/desharna", "fullName" : "desharna" } ] }