Started on Nov 6, 2019 12:50:00 AM
Polling SCM changes on workermta1
[isabelle-nightly-benchmark] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
searching for changes
adding changesets
adding manifests
adding file changes
added 35 changesets with 87 changes to 48 files
(run 'hg update' to get a working copy)
[isabelle-nightly-benchmark] $ hg log --rev default --template {node}
[isabelle-nightly-benchmark] $ hg log --rev default --template {rev}
[isabelle-nightly-benchmark] $ hg status --rev 38bed2483e6a99283f42f2c99b1264f05881c876 --rev 9b531e611d66a88dce07a0046d2c834d0fe92c18
Dependent changes detected
Done. Took 0.99 sec
Changes found