Started by timer [Tue Apr 21 15:10:08 CEST 2026] Starting branch indexing... Connecting to https://api.github.com using GitHub Access Token Examining OpenModelica/OMPython Getting remote pull requests... 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) Checking branch maintenance/v4.0 ‘Jenkinsfile’ not found Does not meet criteria 4 branches were processed Checking pull-requests... Checking pull request #454 Waiting for GitHub to create a merge commit for pull request 454. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #453 Waiting for GitHub to create a merge commit for pull request 453. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #452 Waiting for GitHub to create a merge commit for pull request 452. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #451 Waiting for GitHub to create a merge commit for pull request 451. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #450 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #449 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #448 Waiting for GitHub to create a merge commit for pull request 448. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #447 Waiting for GitHub to create a merge commit for pull request 447. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #446 Waiting for GitHub to create a merge commit for pull request 446. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #444 Waiting for GitHub to create a merge commit for pull request 444. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #443 Waiting for GitHub to create a merge commit for pull request 443. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #442 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #441 Waiting for GitHub to create a merge commit for pull request 441. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #440 Waiting for GitHub to create a merge commit for pull request 440. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #439 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #438 Waiting for GitHub to create a merge commit for pull request 438. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #437 Waiting for GitHub to create a merge commit for pull request 437. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #436 Waiting for GitHub to create a merge commit for pull request 436. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #435 Waiting for GitHub to create a merge commit for pull request 435. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #434 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #404 Waiting for GitHub to create a merge commit for pull request 404. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #401 Waiting for GitHub to create a merge commit for pull request 401. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #399 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #398 Waiting for GitHub to create a merge commit for pull request 398. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #387 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #347 (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #346 Waiting for GitHub to create a merge commit for pull request 346. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #328 Waiting for GitHub to create a merge commit for pull request 328. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #327 Waiting for GitHub to create a merge commit for pull request 327. Retrying 3 more times... Waiting for GitHub to create a merge commit for pull request 327. Retrying 2 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #308 Waiting for GitHub to create a merge commit for pull request 308. Retrying 3 more times... Waiting for GitHub to create a merge commit for pull request 308. Retrying 2 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria Checking pull request #147 Waiting for GitHub to create a merge commit for pull request 147. Retrying 3 more times... (not from a trusted source) ‘Jenkinsfile’ not found Does not meet criteria 31 pull requests were processed Finished examining OpenModelica/OMPython [Tue Apr 21 15:11:15 CEST 2026] Finished branch indexing. Indexing took 1 min 7 sec Finished: SUCCESS