Started on Feb 8, 2023, 6:53:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 9b1feec39a29a9431b0b217d8e1e7eaa0ac5857f (refs/remotes/origin/main)
The recommended git tool is: git
using credential git.eclipse.org-bot-ssh
 > git --version # timeout=10
 > git --version # 'git version 2.20.1'
using GIT_SSH to set credentials ssh://genie.opencert@git.eclipse.org
[INFO] Currently running in a labeled security context
 > /usr/bin/chcon --type=ssh_home_t /tmp/jenkins-gitclient-ssh7833686032595414220.key
Verifying host key using known hosts file
You're using 'Known hosts file' strategy to verify ssh host keys, but your known_hosts file does not exist, please go to 'Manage Jenkins' -> 'Configure Global Security' -> 'Git Host Key Verification Configuration' and configure host key verification.
 > git ls-remote -h -- https://gitlab.eclipse.org/eclipse/opencert/opencert.website.git # timeout=10
Found 1 remote heads on https://gitlab.eclipse.org/eclipse/opencert/opencert.website.git
[poll] Latest remote head revision on refs/heads/main is: 7e41ee926299d4123358267c5371ac805a557835
Done. Took 0.56 sec
Changes found