Started by upstream project "isabelle-repo" build number 1172
[EnvInject] - Loading node environment variables.
Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-repo-afp
[isabelle-repo-afp] $ hg showconfig paths.default
[isabelle-repo-afp] $ hg pull --rev bc3584f7ac0c2e590376998eddb496214f860614
http://isabelle.in.tum.de/repos/isabelle/ pulling from
[isabelle-repo-afp] $ hg update --clean --rev bc3584f7ac0c2e590376998eddb496214f860614
0 files updated, 0 files merged, 0 files removed, 0 files unresolved
[isabelle-repo-afp] $ hg log --rev . --template {node}
[isabelle-repo-afp] $ hg log --rev . --template {rev}
[isabelle-repo-afp] $ hg id --branch
[afp] $ hg showconfig paths.default
https://bitbucket.org/isa-afp/afp-devel/ pulling from
added 1 changesets with 12 changes to 12 files
(run 'hg update' to get a working copy)
[afp] $ hg update --clean --rev default
391 files updated, 0 files merged, 0 files removed, 0 files unresolved
[afp] $ hg --config extensions.purge= clean --all
[afp] $ hg log --rev . --template {node}
[afp] $ hg log --rev . --template {rev}
[isabelle-repo-afp] $ /bin/sh -xe /tmp/jenkins7610860592663562556.sh
### Building Isabelle/Scala ...
Aborted by Administrative User
ERROR: Failed to evaluate groovy script.
java.lang.InterruptedException
at java.lang.Object.wait(Native Method)
at hudson.remoting.Request$1.get(Request.java:279)
at hudson.remoting.Request$1.get(Request.java:207)
at hudson.remoting.FutureAdapter.get(FutureAdapter.java:59)
at hudson.FilePath.copyRecursiveTo(FilePath.java:2220)
at hudson.FilePath.copyRecursiveTo(FilePath.java:2125)
at hudson.FilePath.copyRecursiveTo(FilePath.java:2108)
at hudson.FilePath.copyRecursiveTo(FilePath.java:2093)
at hudson.FilePath$copyRecursiveTo$2.call(Unknown Source)
at org.codehaus.groovy.runtime.callsite.CallSiteArray.defaultCall(CallSiteArray.java:48)
at org.codehaus.groovy.runtime.callsite.AbstractCallSite.call(AbstractCallSite.java:113)
at org.codehaus.groovy.runtime.callsite.AbstractCallSite.call(AbstractCallSite.java:125)
at Script1.run(Script1.groovy:17)
at groovy.lang.GroovyShell.evaluate(GroovyShell.java:585)
at groovy.lang.GroovyShell.evaluate(GroovyShell.java:623)
at groovy.lang.GroovyShell.evaluate(GroovyShell.java:594)
at org.jenkinsci.plugins.scriptsecurity.sandbox.groovy.SecureGroovyScript.evaluate(SecureGroovyScript.java:170)
at org.jvnet.hudson.plugins.groovypostbuild.GroovyPostbuildRecorder.perform(GroovyPostbuildRecorder.java:362)
at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20)
at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:735)
at hudson.model.AbstractBuild$AbstractBuildExecution.performAllBuildSteps(AbstractBuild.java:676)
at hudson.model.Build$BuildExecution.post2(Build.java:186)
at hudson.model.AbstractBuild$AbstractBuildExecution.post(AbstractBuild.java:621)
at hudson.model.Run.execute(Run.java:1760)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43)
at hudson.model.ResourceController.execute(ResourceController.java:97)
at hudson.model.Executor.run(Executor.java:405)
Build step 'Groovy Postbuild' marked build as failure
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds