Polling Log
This page captures the polling log that triggered this build.
Started on Sep 3, 2022, 1:33:59 AM Polling SCM changes on workerlrz5 [isabelle-nightly-slow] $ hg pull --rev default pulling from http://isabelle.in.tum.de/repos/isabelle/ real URL is https://isabelle.in.tum.de/repos/isabelle/ searching for changes adding changesets adding manifests adding file changes added 5 changesets with 7 changes to 5 files new changesets ca7737249aa4:b80f33e5323f (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 46eea084f393c56cee7b87fb352215c6c9118822 --rev b80f33e5323fd66407558abc5ea3e17df8774d2e Dependent changes detected [afp] $ hg pull --rev default pulling from https://foss.heptapod.net/isa-afp/afp-devel/ searching for changes adding changesets adding manifests adding file changes added 1 changesets with 1 changes to 1 files new changesets 10120a93e155 (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 337819a49c4b5a512bfc3b1a502bd33e2b3b56ff --rev 10120a93e15519fa4b527242979899b32de097f6 Dependent changes detected Done. Took 2.3 sec Changes found