Polling Log
This page captures the polling log that triggered this build.
Started on Mar 28, 2024, 8:33:00 AM 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 4 changesets with 9 changes to 9 files new changesets da323d3d7570:c40bdfc84640 (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 1e7d4372fe3dbf981094ef077320d921d8b6a3bb --rev c40bdfc846408c2a44ba6163e886656ca95f36ab Dependent changes detected Done. Took 3.3 sec Changes found