Polling Log
This page captures the polling log that triggered this build.
Started on Apr 4, 2024, 3:30: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 13 changesets with 34 changes to 32 files new changesets d6a787ccf583:f48f4303c533 (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 6de94d690f9f8b1fa2ae6dd05ae12a2cb779ad5f --rev f48f4303c533e5fa1d5b0ee58c882a632283c88e Dependent changes detected Done. Took 20 sec Changes found