Started
[Sun Jan 16 11:02:18 PST 2022] Starting branch indexing...
Connecting to https://api.github.com using GitHub Access Token
Examining mincrmatt12/MLang

  Checking branches...

  Getting remote branches...

    Checking branch master
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 6da38face4b529e323f9ec10252f903025351ea2)

    Checking branch execorder
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: execorder (still at 6d41835948c3eb59bfa7a9b4174887161af9c9a1)

    Checking branch semi-broken-optimizer
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: semi-broken-optimizer (still at f3b6df6bb36a8e675fb6be47b3fd1e88d1d35b75)

  3 branches were processed

  Checking pull-requests...

  Getting remote pull requests...

  0 pull requests were processed

Finished examining mincrmatt12/MLang

[Sun Jan 16 11:02:20 PST 2022] Finished branch indexing. Indexing took 1.8 sec
Finished: SUCCESS