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