{ "_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" : 1, "buildableTimeMillis" : 1, "buildingDurationMillis" : 1469716, "executingTimeMillis" : 1469716, "executorUtilization" : 1.0, "subTaskCount" : 0, "waitingDurationMillis" : 121505, "waitingTimeMillis" : 121505 }, { }, { }, { "_class" : "hudson.plugins.mercurial.MercurialTagAction", "mercurialNodeName" : "68f6b29ae06692ff5b5287583cefb35e21d65851", "mercurialRevisionBranch" : None, "mercurialRevisionNumber" : "80058", "subdir" : None }, { "_class" : "hudson.plugins.mercurial.MercurialTagAction", "mercurialNodeName" : "449ac450b3a636da6f7f15a70c4efd04241ecb6d", "mercurialRevisionBranch" : None, "mercurialRevisionNumber" : "14184", "subdir" : "afp" }, { }, { "_class" : "hudson.plugins.disk_usage.BuildDiskUsageAction" }, { }, { }, { "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction" } ], "artifacts" : [ ], "building" : False, "description" : None, "displayName" : "#5144", "duration" : 1469716, "estimatedDuration" : 1323882, "executor" : None, "fullDisplayName" : "isabelle-all #5144", "id" : "5144", "inProgress" : False, "keepLog" : False, "number" : 5144, "queueId" : 847, "result" : "SUCCESS", "timestamp" : 1711677724863, "url" : "https://ci.isabelle.systems/jenkins/job/isabelle-all/5144/", "builtOn" : "workermtahpc", "changeSet" : { "_class" : "org.jenkinsci.plugins.multiplescms.MultiSCMChangeLogSet", "items" : [ { "_class" : "hudson.plugins.mercurial.MercurialChangeSet", "affectedPaths" : [ ], "commitId" : "449ac450b3a636da6f7f15a70c4efd04241ecb6d", "timestamp" : 1711677510000, "addedPaths" : [ ], "author" : { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/Eugene%20W.%20Stark%20_stark@cs.stonybrook.edu_", "fullName" : "Eugene W. Stark " }, "date" : "1711677510.014400", "deletedPaths" : [ ], "merge" : True, "modifiedPaths" : [ ], "msg" : "Merged.", "node" : "449ac450b3a636da6f7f15a70c4efd04241ecb6d", "rev" : 14184 }, { "_class" : "hudson.plugins.mercurial.MercurialChangeSet", "affectedPaths" : [ "thys/Bicategory/ConcreteBicategory.thy", "thys/Category3/CartesianCategory.thy", "thys/Category3/CartesianClosedCategory.thy", "thys/Category3/CategoryWithPullbacks.thy", "thys/Category3/ConcreteCategory.thy", "thys/Category3/EquivalenceOfCategories.thy", "thys/Category3/FreeCategory.thy", "thys/Category3/Functor.thy", "thys/MonoidalCategory/CartesianMonoidalCategory.thy", "thys/MonoidalCategory/MonoidalCategory.thy", "thys/ResiduatedTransitionSystem/LambdaCalculus.thy", "thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy" ], "commitId" : "6610630663ea60309c8f62043969a1ea4c4ffbc1", "timestamp" : 1711677472000, "addedPaths" : [ ], "author" : { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/Eugene%20W.%20Stark%20_stark@cs.stonybrook.edu_", "fullName" : "Eugene W. Stark " }, "date" : "1711677472.014400", "deletedPaths" : [ ], "merge" : False, "modifiedPaths" : [ "thys/Bicategory/ConcreteBicategory.thy", "thys/Category3/CartesianCategory.thy", "thys/Category3/CartesianClosedCategory.thy", "thys/Category3/CategoryWithPullbacks.thy", "thys/Category3/ConcreteCategory.thy", "thys/Category3/EquivalenceOfCategories.thy", "thys/Category3/FreeCategory.thy", "thys/Category3/Functor.thy", "thys/MonoidalCategory/CartesianMonoidalCategory.thy", "thys/MonoidalCategory/MonoidalCategory.thy", "thys/ResiduatedTransitionSystem/LambdaCalculus.thy", "thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy" ], "msg" : "Sync with my development repo.", "node" : "6610630663ea60309c8f62043969a1ea4c4ffbc1", "rev" : 14183 } ], "kind" : "hg" }, "culprits" : [ { "absoluteUrl" : "https://ci.isabelle.systems/jenkins/user/Eugene%20W.%20Stark%20_stark@cs.stonybrook.edu_", "fullName" : "Eugene W. Stark " } ] }