Started by an SCM change [EnvInject] - Loading node environment variables. Building on master in workspace /var/lib/jenkins/jobs/isabelle-repo/workspace [workspace] $ hg showconfig paths.default [workspace] $ hg pull --rev default pulling from http://isabelle.in.tum.de/repos/isabelle/ searching for changes no changes found [workspace] $ hg update --clean --rev default 7 files updated, 0 files merged, 0 files removed, 0 files unresolved [workspace] $ hg log --rev . --template {node} [workspace] $ hg log --rev . --template {rev} [workspace] $ hg log --rev 007c454d0d0fe0d0de1fdb34f375aad8ec5a2ceb changeset: 62862:007c454d0d0f user: wenzelm date: Mon Apr 04 23:58:48 2016 +0200 summary: more uniform ML file commands; [workspace] $ hg log --template "{desc|xmlescape}{file_adds|stringify|xmlescape}{file_dels|stringify|xmlescape}{files|stringify|xmlescape}{parents}\n" --rev default:0 --follow --prune 007c454d0d0fe0d0de1fdb34f375aad8ec5a2ceb --encoding UTF-8 --encodingmode replace >> Job status: [isabelle-repo-afp] the 'build only if scm changes' feature is disabled. Starting build job isabelle-repo-afp. >> Job status: [isabelle-repo-makeall] the 'build only if scm changes' feature is disabled. Starting build job isabelle-repo-makeall. Finished Build : #132 of Job : isabelle-repo-makeall with status : SUCCESS Finished Build : #132 of Job : isabelle-repo-afp with status : FAILURE 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: FAILURE