Started by timer
[Thu May 02 18:45:05 EDT 2024] Starting branch indexing...
Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/Xpect

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch gh-pages
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch master_with_history
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master_with_history (still at fdfd0a76a463f836779f8b41a300c6a207987a36)

    Checking branch mvn-publish2
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: mvn-publish2 (still at a664deb44a603e387782e51351a7a0bf5085ee66)

    Checking branch release_0.2.0
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: release_0.2.0 (still at 72bdcfebe2879b7cbf68fee9600aa7dcbe876253)

    Checking branch tjeske-tjeske/update-nightly-tp
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: tjeske-tjeske/update-nightly-tp (still at 3cd8cb49b05b93381d7c2cde73092f5cfe28070e)

    Checking branch version_0_2_0_maintenance
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: version_0_2_0_maintenance (still at b770d82292a070b3212971910dd39f24249bbbd5)

  7 branches were processed

  Checking pull-requests...

    Checking pull request #332
    (not from a trusted source)
      ‘Jenkinsfile’ found
      Not mergeable, build likely to fail
    Met criteria
No changes detected: PR-332 (still at 9d857fb0cf68e25b4ad962985c00b8f2fb582db0+1254a41502b9aa6e9ade0f11a196e6c7be7a9d71 (NOT_MERGEABLE))

  1 pull requests were processed

Finished examining eclipse/Xpect

[Thu May 02 18:45:08 EDT 2024] Finished branch indexing. Indexing took 2.4 sec
Finished: SUCCESS