Started by an SCM change [EnvInject] - Loading node environment variables. Building on master in workspace /var/lib/jenkins/jobs/afp-repo-checkin/workspace [workspace] $ hg showconfig paths.default [workspace] $ hg pull --rev default pulling from https://bitbucket.org/isa-afp/afp-devel/ no changes found [workspace] $ hg update --clean --rev default 1 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 69afa9edaff1c327cefff21fd2492f2e263eed10 changeset: 6433:69afa9edaff1 parent: 6431:d1ee5da14015 parent: 6432:0ba943b28fc9 user: wenzelm date: Wed Mar 16 23:17:48 2016 +0100 summary: merged [workspace] $ hg log --template "{desc|xmlescape}{file_adds|stringify|xmlescape}{file_dels|stringify|xmlescape}{files|stringify|xmlescape}{parents}\n" --rev default:0 --follow --prune 69afa9edaff1c327cefff21fd2492f2e263eed10 --encoding UTF-8 --encodingmode replace >> Job status: [afp-repo-afp] the 'build only if scm changes' feature is disabled. Starting build job afp-repo-afp. Finished Build : #121 of Job : afp-repo-afp with status : SUCCESS Sending e-mails to: isabelle-ci@mail46.informatik.tu-muenchen.de 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