Started on Aug 7, 2022, 9:21: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 66 changesets with 125 changes to 23 files
new changesets 8fde337b3dfb:16135603d9c7
(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 dcd3ef2905d61cd0bbb04112cacc6b6f4702321b --rev 16135603d9c772663c21e2a43f42c6e5e9048599
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 3 changesets with 2 changes to 1 files
new changesets c42f49b4cb14:41e138072234
(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 f442b8a512de127e332bfcb32de8639af04fe9f4 --rev 41e13807223424810ad0ce94599fea503f4f311c
Dependent changes detected
Done. Took 2.1 sec
Changes found