Build Queue
No builds in the queue.

Scan Repository Log

Started by timer
[Thu Oct 06 08:09:00 EDT 2022] Starting branch indexing...
08:09:00 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/tm4e

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch mickaelistria-patch-1
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch mickaelistria-patch-2
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pr/164
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch pr/173
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch test-edit
      ‘Jenkinsfile’ not found
    Does not meet criteria

  6 branches were processed

  Checking pull-requests...

    Checking pull request #447
    (not from a trusted source)
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-447 (still at 8287b0fb4efbb968767d26278dd819cfbd2fa68e+4e5ffed415a0b1a5504f42765beb803b4280a7c1 (fa1d899dda79a1d45ca122f207718c7623936126))

  1 pull requests were processed

Finished examining eclipse/tm4e

[Thu Oct 06 08:09:03 EDT 2022] Finished branch indexing. Indexing took 2.9 sec
Finished: SUCCESS