Started
[Sun Jan 16 11:02:18 PST 2022] Starting branch indexing...
14:02:18 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