Polling Log
This page captures the polling log that triggered this build.
Started on Apr 18, 2017 8:17:00 AM Polling SCM changes on master [isabelle-repo] $ hg pull --rev default pulling from https://bitbucket.org/larsrh/isabelle-tmp searching for changes adding changesets adding manifests adding file changes added 17 changesets with 31 changes to 19 files (run 'hg update' to get a working copy) [isabelle-repo] $ hg log --rev default --template {node} [isabelle-repo] $ hg log --rev default --template {rev} [isabelle-repo] $ hg status --rev 8c7bc3a13513d5a96e2de799f3e4a1e90ffa6480 --rev c05bec5d01ad6660f7825f6a8315f9aa350a7a67 Dependent changes detected Done. Took 3.7 sec Changes found