Started on Nov 2, 2022, 7:43:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 3a8a5225cc8ac7811b6f600956d2ad96df81e4de (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-ssh8602611020137959782.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: 9a56a53f6e03aa64c562877d09dea0c6feb5d4de
Done. Took 0.64 sec
Changes found