Scan Repository Log

Started by timer
[Fri May 10 08:01:07 EDT 2024] Starting branch indexing...
08:01:07 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/org.eclipse.emf.diffmerge.patterns

  Checking branches...

  Getting remote branches...

    Checking branch 0.11.x

  Getting remote pull requests...
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch master
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 139ab9662b6f7aab4e2f725da1705cacf6f02088)

    Checking branch masterx
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: masterx (still at 38d8e0e8f920da9606f2fd3118e1fa386a6adc47)

    Checking branch v0.13.x
      ‘Jenkinsfile’ not found
    Does not meet criteria

  4 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining eclipse/org.eclipse.emf.diffmerge.patterns

[Fri May 10 08:01:08 EDT 2024] Finished branch indexing. Indexing took 1.4 sec
Finished: SUCCESS