Polling Log
This page captures the polling log that triggered this build.
Started on May 9, 2016 5:08: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 4 changesets with 13 changes to 13 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 eb5d493a9e03ed4e048f3bc3c6b667046335ba12 --rev 1e771f0db44846232570324f302cc3af7a78e55f Dependent changes detected Done. Took 3 hr 44 min Changes found