Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on Sep 25, 2020 3:57:00 PM
Acquired master cache lock.
[17F11CB079D96C4CED65FE767CC01677A29F7337-testboard] $ /usr/bin/hg pull
pulling from http://isabelle.in.tum.de/repos/testboard/
searching for changes
adding changesets
adding manifests
adding file changes
added 19 changesets with 41 changes to 29 files (+1 heads)
new changesets c5d1a01d2d6c:6fdeef6d6335
(run 'hg heads .' to see heads, 'hg merge' to merge)
Master cache lock released.
[17F11CB079D96C4CED65FE767CC01677A29F7337-testboard] $ /usr/bin/hg log --rev default --template {node}
[17F11CB079D96C4CED65FE767CC01677A29F7337-testboard] $ /usr/bin/hg log --rev default --template {rev}
[17F11CB079D96C4CED65FE767CC01677A29F7337-testboard] $ /usr/bin/hg status --rev 1d805c5e906da4ddc0c5229029f79642705940b3 --rev 6fdeef6d6335047b454dc77f27ddeb418158ce15
Dependent changes detected
Done. Took 1.2 sec
Changes found