Started by timer [Fri May 17 19:10:10 CEST 2024] Starting branch indexing... Connecting to https://api.github.com using GitHub Access Token Examining OpenModelica/OMPython Checking branches... Getting remote branches... Checking branch master ‘Jenkinsfile’ not found Does not meet criteria Checking branch MoreInfo ‘Jenkinsfile’ not found Does not meet criteria Checking branch Ticket6084 ‘Jenkinsfile’ found Met criteria No changes detected: Ticket6084 (still at a5a09dfaef3c91dc555a6733c3b232564369d0f7) 3 branches were processed Checking pull-requests... Getting remote pull requests... Checking pull request #165 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #147 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #93 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #91 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #90 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #22 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #10 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria 7 pull requests were processed Finished examining OpenModelica/OMPython [Fri May 17 19:10:18 CEST 2024] Finished branch indexing. Indexing took 8.1 sec Finished: SUCCESS