Polling Log
This page captures the polling log that triggered this build.
Started on Mar 28, 2024, 2:42: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 5 changesets with 9 changes to 7 files new changesets f8d7df38d7c6:68f6b29ae066 (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 44d8fb3da9d5e675ffdc4a90fa7f8b0e1833efee --rev 68f6b29ae06692ff5b5287583cefb35e21d65851 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 17 changesets with 34 changes to 18 files new changesets 9ce4d6a809c6:7a425b5f62ba (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 1699d5f4b11da83f4aea45a5813fd496c0766340 --rev 7a425b5f62ba6f2e2923b960269992c62a589fd9 Dependent changes detected Done. Took 4 hr 35 min Changes found