collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

SuccessScan Repository Log

Started by timer
[Fri May 29 08:48:00 CDT 2020] Starting branch indexing...
08:48:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Examining kframework/kat

  Checking pull-requests...

  Getting remote pull requests...

    Checking pull request #21
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-21 (still at 1dead87a9c0ee09d2aad9be64017844509dcbc14)

  1 pull requests were processed

Finished examining kframework/kat

[Fri May 29 08:48:02 CDT 2020] Finished branch indexing. Indexing took 1.8 sec
Finished: SUCCESS