Started on Aug 1, 2020 8:57:00 PM
Polling SCM changes on workermta1
[isabelle-all] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
searching for changes
adding changesets
adding manifests
adding file changes
added 1 changesets with 9 changes to 9 files
(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 b8d0b8659e0a0b436ae525e96c7a0f721d039c1e --rev 8c355e2dd7dbf80697c2b5be7e8e62786657d86f
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 25 changes to 25 files
(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 40e16c53424387ea73369f98f992acbac54e5add --rev ef3c8932106adfad597449751d502ea79a210d1c
Dependent changes detected
Done. Took 6 sec
Changes found