Polling Log

This page captures the polling log that triggered this build.

Started on May 25, 2024, 11:14:24 AM
Started by event from 140.82.115.111 → 172.30.50.1 ⇒ https://ci.eclipse.org/pdt/github-webhook/ on Sat May 25 11:14:24 EDT 2024
Using strategy: Default
[poll] Last Built Revision: Revision cdabb000463d21fdcdeb210ec3023be49ddb00d5 (origin/master)
The recommended git tool is: NONE
using credential git.eclipse.org-bot-ssh
 > git --version # timeout=10
 > git --version # 'git version 2.43.2'
using GIT_SSH to set credentials ssh://genie.pdt@git.eclipse.org
[INFO] Currently running in a labeled security context
 > /usr/bin/chcon --type=ssh_home_t /tmp/jenkins-gitclient-ssh9019366169686928756.key
Verifying host key using manually-configured host key entries
 > git ls-remote -h -- https://github.com/eclipse-pdt/pdt.git # timeout=10
Found 29 remote heads on https://github.com/eclipse-pdt/pdt.git
[poll] Latest remote head revision on refs/heads/master is: c60df3ed25ea5f33ba477c8acd42554860bfcc4d
Done. Took 0.25 sec
Changes found