Polling Log
This page captures the polling log that triggered this build.
Started on Apr 2, 2016 11:56: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 10 changesets with 77 changes to 60 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 19387866eace3e65bceeeda1eece3ba2ac60e0e8 --rev eb94e570c1a45d43a2d691631d70b4137c918f5f Dependent changes detected Done. Took 1.7 sec Changes found