Started by timer
[Tue Apr 21 15:10:08 CEST 2026] Starting branch indexing...
15:10:08 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
