Started by an SCM change

[EnvInject] - Loading node environment variables.

Building on master in workspace /var/lib/jenkins/workspace/isabelle-repo

[isabelle-repo] $ hg showconfig paths.default

[isabelle-repo] $ hg pull --rev default

pulling from http://isabelle.in.tum.de/repos/isabelle/

searching for changes

adding changesets

adding manifests

adding file changes

added 1 changesets with 1 changes to 1 files

(run 'hg update' to get a working copy)

[isabelle-repo] $ hg update --clean --rev default

5 files updated, 0 files merged, 0 files removed, 0 files unresolved

[isabelle-repo] $ hg --config extensions.purge= clean --all

[isabelle-repo] $ hg log --rev . --template {node}

[isabelle-repo] $ hg log --rev . --template {rev}

[isabelle-repo] $ hg log --rev fa10b0f589c392391b1d2f67c338c6861f2821f7 --template exists\n

exists

[isabelle-repo] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(fa10b0f589c392391b1d2f67c338c6861f2821f7)" --encoding UTF-8 --encodingmode replace

[isabelle-repo] $ /bin/sh -xe /tmp/jenkins2890801528424766732.sh

+ echo 34b20f7236ea2b59c1994ee10770267bb156c9e5

34b20f7236ea2b59c1994ee10770267bb156c9e5

>> Job status: [isabelle-repo-makeall] the 'build only if scm changes' feature is disabled.

Starting build job isabelle-repo-makeall.

>> Job status: [isabelle-repo-afp] the 'build only if scm changes' feature is disabled.

Starting build job isabelle-repo-afp.

Finished Build : #1146 of Job : isabelle-repo-afp with status : SUCCESS

Finished Build : #1146 of Job : isabelle-repo-makeall with status : SUCCESS

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 1 second

Warning: you have no plugins providing access control for builds, so falling back to legacy behavior of permitting any downstream builds to be triggered

Finished: SUCCESS