Skip to content

Polling Log

This page captures the polling log that triggered this build.

Started on Jun 9, 2024, 10:54:00 PM
Polling SCM changes on workermtahpc
[isabelle-all] $ hg pull --rev default
pulling from https://isabelle.in.tum.de/repos/isabelle/
searching for changes
adding changesets
adding manifests
adding file changes
added 29 changesets with 96 changes to 56 files
new changesets 00d68f324056:594356f16810
(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 8678986d9af564ab1117549b1f431f8fc51b8d31 --rev 594356f1681084df2a44db34dd61172f839eeffc
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 6 changesets with 16 changes to 14 files
new changesets 8f84d2aee92f:11eb82fc73f6
(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 522b0b25f6a8f0403f5199218fa097719fd195c9 --rev 11eb82fc73f6b3437e727a5665d9178a9ff4ce4b
Dependent changes detected
Done. Took 7 sec
Changes found