Scan Repository Log

Started by timer
[Mon Nov 22 06:36:00 EST 2021] Starting branch indexing...
06:36:00 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/sprotty-layout

  Checking branches...

  Getting remote branches...

    Checking branch master

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

  1 branches were processed

  Checking pull-requests...

    Checking pull request #16
    (not from a trusted source)
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-16 (still at 2be08a6193742e42122364c2cc63d052c607b785+b1994cf18794b2015fee972886b760f5aaa4f2ba (135a0937c36083601676f7d4ee590a1cd1386830))

  1 pull requests were processed

Finished examining eclipse/sprotty-layout

[Mon Nov 22 06:36:02 EST 2021] Finished branch indexing. Indexing took 1.8 sec
Finished: SUCCESS