Polling Log
This page captures the polling log that triggered this build.
Started on Mar 20, 2024, 9:15:00 PM Acquired controller cache lock. [AAB808E7A3A90D7441318DC80DDAE14AC542D145-testboard] $ /usr/bin/hg pull pulling from https://isabelle.in.tum.de/repos/testboard/ searching for changes adding changesets adding manifests adding file changes added 8 changesets with 14 changes to 10 files new changesets f08e5a234c1b:33c9a670e29c (run 'hg update' to get a working copy) Controller cache lock released. [AAB808E7A3A90D7441318DC80DDAE14AC542D145-testboard] $ /usr/bin/hg log --rev default --template {node} [AAB808E7A3A90D7441318DC80DDAE14AC542D145-testboard] $ /usr/bin/hg log --rev default --template {rev} [AAB808E7A3A90D7441318DC80DDAE14AC542D145-testboard] $ /usr/bin/hg status --rev 7793e3161d2bec551b2513a2a0f0e48a51c06ef3 --rev 33c9a670e29c15d3a62363c75ae12949415f89c6 Dependent changes detected Done. Took 2.1 sec Changes found