2026-07-27 21:54.41: New job: Voodoo prep proverifdoc.2.03; 431006b7798dde30d7728c5df9bb0948
2026-07-27 21:54.41: Prep job: prep proverifdoc.2.03; 431006b7798dde30d7728c5df9bb0948
2026-07-27 21:54.41: Waiting for resource in pool OCluster
2026-07-27 22:27.09: Connecting to build cluster…
2026-07-27 22:27.19: Waiting for worker…
2026-07-28 05:54.56: Cancelling: Auto-cancelling job because it is no longer needed