Started by timer
[Wed Jul 03 19:10:06 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 #220
    (not from a trusted source)
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #165
Waiting for GitHub to create a merge commit for pull request 165.  Retrying 3 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

    Checking pull request #93
Waiting for GitHub to create a merge commit for pull request 93.  Retrying 3 more times...
    (not from a trusted source)
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #91
Waiting for GitHub to create a merge commit for pull request 91.  Retrying 3 more times...
    (not from a trusted source)
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #90
Waiting for GitHub to create a merge commit for pull request 90.  Retrying 3 more times...
    (not from a trusted source)
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #22
Waiting for GitHub to create a merge commit for pull request 22.  Retrying 3 more times...
    (not from a trusted source)
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking pull request #10
Waiting for GitHub to create a merge commit for pull request 10.  Retrying 3 more times...
    (not from a trusted source)
      ‘Jenkinsfile’ not found
    Does not meet criteria

  8 pull requests were processed

Finished examining OpenModelica/OMPython

[Wed Jul 03 19:10:24 CEST 2024] Finished branch indexing. Indexing took 18 sec
Finished: SUCCESS