Polling Log
This page captures the polling log that triggered this build.
Started on Dec 6, 2022, 8:51:00 AM Polling SCM changes on workermtahpc [isabelle-all] $ 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 1 changesets with 1 changes to 1 files new changesets 6714991edf8b (run 'hg update' to get a working copy) [isabelle-all] $ hg log --rev default --template {node} [isabelle-all] $ hg log --rev default --template {rev} [isabelle-all] $ hg status --rev 66addfbb092328225152645bee42a70599cbbe3e --rev 6714991edf8b6b6ca5b5ee8e0699fd53e9d05494 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 3 changes to 3 files new changesets c211edfd5b6e (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 ab056942c0bcfd774e21a6fb660f57ca16da248f --rev c211edfd5b6e814ef087f6588a543eba39c5a139 Dependent changes detected Done. Took 3 hr 57 min Changes found