Polling Log
This page captures the polling log that triggered this build.
Started on Jun 10, 2016 2:59:00 PM Polling SCM changes on master [workspace] $ hg pull --rev default pulling from http://isabelle.in.tum.de/repos/isabelle/ searching for changes adding changesets adding manifests adding file changes added 16 changesets with 27 changes to 14 files (run 'hg update' to get a working copy) [workspace] $ hg log --rev default --template {node} [workspace] $ hg log --rev default --template {rev} [workspace] $ hg status --rev 9a2377b96ffd6a707451dd01ffb4b974a87c770e --rev 06b021ff892023ea6b010fc04705a20f8d4ea7b9 Dependent changes detected Done. Took 3 hr 40 min Changes found