Started by user Frederic Gurr [Wed Mar 08 04:39:12 EST 2023] Starting branch indexing... 04:39:12 Connecting to https://api.github.com using GitHub bot (username/token) Examining jakartaee/jaf-tck Checking branches... Getting remote branches... Checking branch master ‘Jenkinsfile’ found Met criteria Changes detected: master (73b5853230294b32369796d7d929d216c36c8872 → 29f1a140034ff581eceafc6429d98aedd5f5469a) Scheduled build for branch: master Checking branch revert-49-issue48 ‘Jenkinsfile’ found Met criteria Scheduled build for branch: revert-49-issue48 2 branches were processed Checking pull-requests... Getting remote pull requests... Checking pull request #37 Waiting for GitHub to create a merge commit for pull request 37. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ found Not mergeable, build likely to fail Met criteria Scheduled build for branch: PR-37 1 pull requests were processed Finished examining jakartaee/jaf-tck [Wed Mar 08 04:39:21 EST 2023] Finished branch indexing. Indexing took 8.3 sec Finished: SUCCESS