Started on Jun 8, 2024, 3:00: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 42 changesets with 68 changes to 23 files
new changesets b2889dd54a2a:8678986d9af5
(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 a424accf705d614640027004ca625d6a9fb78aa0 --rev 8678986d9af564ab1117549b1f431f8fc51b8d31
Dependent changes detected
Done. Took 3.2 sec
Changes found