Started on May 3, 2024, 11:42:00 AM
Polling SCM changes on workermtahpc
[isabelle-all] $ hg pull --rev default
pulling from https://isabelle.in.tum.de/repos/isabelle/
no changes found
[isabelle-all] $ hg log --rev default --template {node}
[isabelle-all] $ hg log --rev default --template {rev}
[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 20 changesets with 1145 changes to 969 files
new changesets 37baa6e0f775:f0b0487b1f5e
(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 bd898445f5059a530a6817614e2589c23315ac4c --rev f0b0487b1f5ec9fbeb43dbcf5c65b2710cdc29fd
Dependent changes detected
Done. Took 2.7 sec
Changes found