Started on May 31, 2023, 11:48: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 4 changesets with 9 changes to 8 files
new changesets 24b70433c2e8:8234c42d20e6
(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 163e4835a8db3f0b1060c1c06a2b3c7cadce52cc --rev 8234c42d20e64ee90644b7fec3e795d3611c912f
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 4 changes to 4 files
new changesets a0663cd726cc
(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 fccdd28b5d846b6d4859489cb4ecdefb47212171 --rev a0663cd726cc06543f9689efe66c628dfdb6af7e
Dependent changes detected
Done. Took 4 hr 8 min
Changes found