Scan Repository Log

Started by timer
[Thu May 09 16:30:06 EDT 2024] Starting branch indexing...
16:30:06 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/org.eclipse.emf.diffmerge.core

  Checking branches...

  Getting remote branches...

    Checking branch master

  Getting remote pull requests...
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at a32a2913f6ec7d2f04468878f76771da51ab5208)

    Checking branch masterxx
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: masterxx (still at 89a7c88e58bc86d783e64e73b5f9abe006fdf345)

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

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

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

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

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

  7 branches were processed

  Checking pull-requests...

  0 pull requests were processed

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

[Thu May 09 16:30:07 EDT 2024] Finished branch indexing. Indexing took 1.5 sec
Finished: SUCCESS