Polling Log
This page captures the polling log that triggered this build.
Started on Sep 20, 2019 1:33:00 AM Polling SCM changes on workerlrz5 [isabelle-nightly-slow] $ hg pull --rev default pulling from http://isabelle.in.tum.de/repos/isabelle/ searching for changes adding changesets adding manifests adding file changes added 18 changesets with 34 changes to 19 files new changesets 65371451fde8:49ae62f84901 (run 'hg update' to get a working copy) [isabelle-nightly-slow] $ hg log --rev default --template {node} [isabelle-nightly-slow] $ hg log --rev default --template {rev} [isabelle-nightly-slow] $ hg status --rev 4e39d87c9737f0dc9e094f7f4d52a5abc7f80a68 --rev 49ae62f849017ceef7ad7da12e8f824487672152 Dependent changes detected [afp] $ hg pull --rev default pulling from https://bitbucket.org/isa-afp/afp-devel/ searching for changes adding changesets adding manifests adding file changes added 2 changesets with 3 changes to 3 files new changesets f807a036febc:ef5c588d2a90 (run 'hg update' to get a working copy) [afp] $ hg log --rev default --template {node} [afp] $ hg log --rev default --template {rev} [afp] $ hg status --rev 35d7fb94ba43cf8fa0126477df776980b8362608 --rev ef5c588d2a90519ab94547e5c7b99f470c95d0f9 Dependent changes detected Done. Took 3.2 sec Changes found