{ "_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" : 14, "buildableTimeMillis" : 14, "buildingDurationMillis" : 3124826, "executingTimeMillis" : 3124826, "executorUtilization" : 1.0, "subTaskCount" : 0, "waitingDurationMillis" : 123287, "waitingTimeMillis" : 123287 }, { }, { }, { "_class" : "hudson.plugins.mercurial.MercurialTagAction", "mercurialNodeName" : "1635ee32e6d823d7cee176e5fc2e0d2d953b62d7", "mercurialRevisionBranch" : None, "mercurialRevisionNumber" : "75714", "subdir" : None }, { "_class" : "hudson.plugins.mercurial.MercurialTagAction", "mercurialNodeName" : "3ba39711b355abe67310f533468d30d30a960ca9", "mercurialRevisionBranch" : None, "mercurialRevisionNumber" : "12892", "subdir" : "afp" }, { }, { }, { "_class" : "hudson.plugins.disk_usage.BuildDiskUsageAction" }, { }, { }, { "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction" } ], "artifacts" : [ ], "building" : False, "description" : None, "displayName" : "#3815", "duration" : 3124826, "estimatedDuration" : 6057161, "executor" : None, "fullDisplayName" : "isabelle-all #3815", "id" : "3815", "inProgress" : False, "keepLog" : False, "number" : 3815, "queueId" : 2455, "result" : "SUCCESS", "timestamp" : 1659264245401, "url" : "https://ci.isabelle.systems/jenkins/job/isabelle-all/3815/", "builtOn" : "workermtahpc", "changeSet" : { "_class" : "org.jenkinsci.plugins.multiplescms.MultiSCMChangeLogSet", "items" : [ { "_class" : "hudson.plugins.mercurial.MercurialChangeSet", "affectedPaths" : [ "thys/Amortized_Complexity/Amortized_Framework0.thy" ], "commitId" : "3ba39711b355abe67310f533468d30d30a960ca9", "timestamp" : 1659264110000, "addedPaths" : [ ], "author" : { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/nipkow", "fullName" : "nipkow" }, "date" : "1659264110.0-7200", "deletedPaths" : [ ], "merge" : False, "modifiedPaths" : [ "thys/Amortized_Complexity/Amortized_Framework0.thy" ], "msg" : "tuned", "node" : "3ba39711b355abe67310f533468d30d30a960ca9", "rev" : 12892 } ], "kind" : "hg" }, "culprits" : [ { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/nipkow", "fullName" : "nipkow" } ] }