Started on Sep 24, 2020 9:30:00 PM
Polling SCM changes on workermta1
[isabelle-all] $ hg pull --rev default
pulling from https://isabelle.sketis.net/repos/isabelle/
searching for changes
adding changesets
adding manifests
adding file changes
added 9 changesets with 10 changes to 2 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 415220b59d37514a3565b903d9b1580bb95979cc --rev ccc104786829c0a93f687d9fd5aac11872b3ba14
Dependent changes detected
[afp] $ hg pull --rev default
pulling from https://foss.heptapod.net/isa-afp/afp-devel/
no changes found
[afp] $ hg log --rev default --template {node}
[afp] $ hg log --rev default --template {rev}
Done. Took 1.7 sec
Changes found