Polling Log

This page captures the polling log that triggered this build.

Started on May 6, 2024, 5:42:00 PM
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 3 changesets with 2 changes to 2 files
new changesets aaae7a8fc262:65f70952d452
(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 6c50cdbe30b391b06d4a14ee04d6e54db9f68fcb --rev 65f70952d452d9803513997cfc4b3195698d1528
Dependent changes detected
Done. Took 2.8 sec
Changes found