Scan Repository Log

Started by timer
[Fri Feb 16 03:40:10 EST 2024] Starting branch indexing...
03:40:11 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/sprotty-theia

  Checking branches...

  Getting remote branches...

    Checking branch master

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

    Checking branch 87_follow_up
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: 87_follow_up (still at cd1a78ea1a8efa14f4d589a045fbf578fcd5d799)

    Checking branch issues/87
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: issues/87 (still at b7066169960681806caf466c517c0209ce6b1b93)

    Checking branch theia-cr-compatibility
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: theia-cr-compatibility (still at 98d13432a2e2202a85b602389d4a1d4601597a73)

    Checking branch tortmayr/issues/150
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: tortmayr/issues/150 (still at 41bb820b8ee5f18c73adba9c55897a9a03e22229)

    Checking branch tortmayr/issues/67
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: tortmayr/issues/67 (still at f627afc112d092db2a79628190185b4b175395db)

  6 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining eclipse/sprotty-theia

[Fri Feb 16 03:40:13 EST 2024] Finished branch indexing. Indexing took 2.8 sec
Finished: SUCCESS